blob: a4d2cbe8a7815ce909b0576785b43d605df3b577 (
plain)
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’
|