path: root/testsuite/tests/typecheck/should_fail/tcfail156.hs

{-# LANGUAGE ExistentialQuantification #-}

-- Illegal existential context on a newtype

module ShouldFail where

newtype Foo = forall a . Foo a