https://cosmius.bitbucket.io/tkhe/
The book is not finished yet, but worth reading.
https://cosmius.bitbucket.io/tkhe/
The book is not finished yet, but worth reading.
page 72
liftM :: (Monad m) => (a -> b) -> m a -> m b
liftM f x = mx >>= \x -> return (f x)
should be
liftM :: (Monad m) => (a -> b) -> m a -> m b
liftM f mx = mx >>= \x -> return (f x)
per my understanding.