Functor

shims

failed

Recoverable

flatMap

Monad

flatten

Monad