Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail / SimpleFail12.stderr
1
2 SimpleFail12.hs:8:15:
3     Illegal polymorphic or qualified type: forall a1. [a1]
4     In the type instance declaration for ā€˜Cā€™