Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T11724.stderr
1
2 T11724.hs:7:44: error:
3     • A representation-polymorphic type is not allowed here:
4         Type: a
5         Kind: TYPE r
6     • In the definition of data constructor ‘Foo’
7       In the data type declaration for ‘Foo’