52d6afe3e7ec5daae42624e4cb8129fc39553eca
[ghc.git] / testsuite / tests / indexed-types / should_fail / T3330c.stderr
1
2 T3330c.hs:23:43:
3     Couldn't match kind ‛*’ with ‛* -> *’
4     When matching types
5       Der ((->) x) :: * -> *
6       R :: (* -> *) -> *
7     Expected type: Der ((->) x) (f1 x)
8       Actual type: R f1
9     In the first argument of ‛plug’, namely ‛rf’
10     In the first argument of ‛Inl’, namely ‛(plug rf df x)’
11     In the expression: Inl (plug rf df x)