The type of a monad producing values of type 'a.

Monadic binding.

bind m f executes first m then f, using the result of m.

Return a value, that is, put a value in the monad.