def Maybe.bind

Base · base.bend:824

824def Maybe.bind(
825  a, -A: Kind(a), -B: Kind(a), m: Maybe<a, A>, f: A -> Maybe<a, B>
826) -> Maybe<a, B>:
827  match m:
828    case None{}:
829      None{}
830    case Some{x}:
831      f(x)