blob: b643d585a81e12e3842c9b0012985e49b8ba24e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
tcfail122.hs:8:9:
Kind incompatibility when matching types:
c0 :: (* -> *) -> *
a :: * -> *
Expected type: a b
Actual type: c0 d0
Relevant bindings include foo :: [a b] (bound at tcfail122.hs:7:1)
In the expression:
undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d
In the expression:
[undefined :: forall a b. a b,
undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]
In an equation for ‘foo’:
foo
= [undefined :: forall a b. a b,
undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d]
|