Report better suggestion for GADT data constructor
[ghc.git] / testsuite / tests / gadt / T16427.hs
1 {-# LANGUAGE RankNTypes, GADTs #-}
2
3 module T16427 where
4
5 data D where C :: Int -> forall b . b -> D