testsuite/tests/typecheck/should_fail/tcfail156.stderr


1
2
3
4
5
6


tcfail156.hs:7:15:
    A newtype constructor cannot have existential type variables
    Foo :: forall a. a -> Foo
    In the definition of data constructor ‛Foo’
    In the newtype declaration for ‛Foo’