def Maybe.or
import Base859def Maybe.or(a, -A: Kind(a), m: Maybe<a, A>, n: Maybe<a, A>) -> Maybe<a, A>:
860 match m:
861 case None{}:
862 n
863 case Some{x}:
864 Some{x}
import Base859def Maybe.or(a, -A: Kind(a), m: Maybe<a, A>, n: Maybe<a, A>) -> Maybe<a, A>:
860 match m:
861 case None{}:
862 n
863 case Some{x}:
864 Some{x}