blob: 280f118f90aef67b7720ee2eafb325d58eed8831 (
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’
|