Ticket #4309: Ouch.hs

File Ouch.hs, 264 bytes (added by pumpkin, 4 years ago)
Line 
1{-# LANGUAGE GADTs, StandaloneDeriving #-}
2
3data T a where
4  A :: a -> T ()
5  B :: a -> T Bool
6  C :: a -> T Int
7  D :: a -> T Float
8  E :: a -> T Double
9  F :: a -> T (Maybe ())
10  G :: a -> T (Maybe Bool)
11
12deriving instance Eq (T a) 
13deriving instance Ord (T a)