Haskell type inference about monad

Question

How can I do the type inference from the type of Control.Monad.liftM not to Control.Monad.liftM not id ?

(Control.Monad.liftM not) :: Monad m => m Bool -> m Bool

(Control.Monad.liftM not id) :: Bool -> Bool

Answer 1

liftM not    :: Monad m =>                 m Bool -> m Bool
id           ::                            a -> a
liftM not id :: (Monad m, m ~ ((->) a), a ~ Bool) => m Bool
           {- therefore -}                           Bool -> Bool