blob: 2ca581934d49baf501a9b52ca9d35c559702a9e1 (
plain)
1
2
3
4
5
6
7
8
9
|
Type error: error: wrong type of function argument
--> <current file>:1:5
|
1 | [] : List Type
| ^^^^ this expects an argument of type: Type
| ^^^^ but this has type: Kind
|
= note: expected type `Type`
found type `Kind`
|