1 2 3 4 5 6
{-# LANGUAGE RankNTypes, GADTs #-} module ShouldFail where data Foo a where Foo :: Int -> Foo (forall a. a)