Monads::Leftable(E, T)

bind(lambda : T -> _) : Leftable(E, T)

fmap(lambda : T -> U) : Leftable(E, U) forall U

map_or(default : U, lambda : _ -> _) forall U

or(other : Either)

or(other : E -> _)

value_or(other : E -> _)

value_or(other : U) forall U