blob: 8dca34314a6f19fa4b385864e733cc0895b1a3eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# OPTIONS_GHC -XGADTs -XRankNTypes -O1 #-}
-- Trac #2018
module Bug1 where
data A a where
MkA :: A ()
class C w where
f :: forall a . w a -> Maybe a
instance C A where
f MkA = Just ()
|