blob: 870388d44f92c1cdfc5ff2927cd68f387fca1c64 (
plain)
1
2
3
4
5
6
7
8
|
[unknown location] Type error: Wrong type of function argument
[unknown location] This argument has type Sort
--> 5:21
|
5 | in let pow = λ(X : Kind) → X → Type␊
| ^--^
|
= But the function expected an argument of type Kind
|