Fold integer-simple.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T2994.hs
1 {-# LANGUAGE MultiParamTypeClasses #-}
2
3 -- Trac #2994
4
5 module T2994 where
6
7 class MonadReader a b
8
9 newtype Reader' r a = Reader' (r -> a)
10
11 instance MonadReader Int
12
13 instance MonadReader (Reader' r)
14
15 instance MonadReader r r (Reader' r)