1 2 3 4 5 6 7 8 9 10 11 12 13
--> 1:6 | 1 | [] : List Type␊ | ^--^ | = Type error: Wrong type of function argument --> 1:11 | 1 | [] : List Type␊ | ^--^ | = This argument has type Kind [unknown location] But the function expected an argument of type Type