blob: 6a79e0ef9735fef4603e3931766bcdae651254ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses #-}
-- #2994
module T2994 where
class MonadReader a b
newtype Reader' r a = Reader' (r -> a)
instance MonadReader Int
instance MonadReader (Reader' r)
instance MonadReader r r (Reader' r)
|