Вывод типа Haskell о монаде

Question

Как я могу сделать вывод типа от Control.Monad.liftM not до 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