@ghci
Prelude> :m Monad Prelude Monad> (*3) $ (+5) $ 10 45 Prelude Monad> liftM (*3) $ liftM (+5) $ return 10 :: Maybe Int Just 45 Prelude Monad> liftM (*3) $ liftM (+5) $ Nothing :: Maybe Int Nothing
f $ g $ h
は f (g (h))
だよ
liftM f x
は x >>= return . f
だよ