test/Spec/Monads/Monads.hs:20: (Instance) :: Functor Identity'
test/Spec/Monads/Monads.hs:23: (Instance) :: Applicative Identity'
test/Spec/Monads/Monads.hs:27: (Instance) :: Monad Identity'