Monad.hs

module Monad where
import qualified Prelude
import Prelude
liftM :: Monad m => (a -> b) -> (m a) -> m b
 
liftM f
    =   \ a ->
	    do a' <- a
	       return (f a')