Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[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)