use Maybe/{some,none}

bind <A> <B>
- ma: (Maybe A)
- f: A -> (Maybe B)
: (Maybe B)

match ma {
  some: (f ma.value)
  none: (none _)
}