Monadic type
Redirect to:
Monad (functional programming)