Ticket #3830: ladt.hs

File ladt.hs, 102 bytes (added by guest, 4 years ago)

test case shown above, since wiki formatting messed it up

Line 
1{-# LANGUAGE GADTs, RankNTypes  #-}
2
3data Parity a where
4  Odd :: Int -> forall a. Parity (Int,Int,a)