Add fixity declaration to _<∣>_ (agda#207)

Author: yxdai-nju

CHANGELOG/v1.7.md

@@ -26,6 +26,8 @@ Bug-fixes
 * Added missing fixity declaration to `_<_` in
   `Relation.Binary.Construct.NonStrictToStrict`.
 
+* Added missing fixity declaration to `_<∣>_` in `Data.Maybe.Base`.
+
 Non-backwards compatible changes
 --------------------------------
 

src/Data/Maybe/Base.agda

@@ -100,6 +100,7 @@ just a  >>= f = f a
 
 -- Alternative: <∣>
 
+infixr 6 _<∣>_
 _<∣>_ : Maybe A → Maybe A → Maybe A
 just x  <∣> my = just x
 nothing <∣> my = my