def Maybe.pure

Base · base.bend:821

821def Maybe.pure(a, -A: Kind(a), x: A) -> Maybe<a, A>:
822  Some{x}