Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T12918a.hs
1 {-# LANGUAGE DefaultSignatures #-}
2 module T12918a where
3
4 import Control.Monad.Trans.Class
5
6 class Monad m => MonadSupply m where
7 fresh :: m Integer
8 default fresh :: MonadTrans t => t m Integer
9 fresh = lift fresh