1 2 3 4 5 6 7 8
{-# LANGUAGE ExistentialQuantification #-} -- Illegal existential context on a newtype module ShouldFail where newtype Foo = forall a . Foo a