Re: [Haskell-cafe] Re: Can we come out of a monad?

Ertugrul Soeylemez writes:

Hello,

it's a bit hidden in Haskell, but a monad instance consists of three functions:

fmap :: (a -> b) -> (m a -> m b)

You don't even need fmap defined for it to be a monad, since fmap f m = liftM f m = m >>= (return . f) -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com