1 2 3 4 5 6
Type error: error: InvalidFieldType --> <current file>:1:0 | 1 | < x : Kind | y : Type > | ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType |