Add monad λ.maybe, test and example