use Maybe/{some,none}
bind <A> <B>
- ma: (Maybe A)
- f: A -> (Maybe B)
: (Maybe B)
match ma {
some: (f ma.value)
none: (none _)
}