def Maybe.map

Base · base.bend:850

850def Maybe.map(
851  a, -A: Kind(a), -B: Kind(a), f: A -> B, m: Maybe<a, A>
852) -> Maybe<a, B>:
853  match m:
854    case None{}:
855      None{}
856    case Some{x}:
857      Some{f(x)}