Ticket #3012 (closed feature request: fixed)
A little deriving for GADTs
|Reported by:||guest||Owned by:|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||Blocked By:|
For GADTs that are really enumerations, I think deriving Show should work. E.g.
data T a where Foo :: T Int Bar :: T Bool deriving (Show)
There's no(?) intricate behaviour of the derived functions, so why not?