1 2 3 4 5 6
Type error: error: InvalidFieldType --> <current file>:1:16 | 1 | { x = Bool } ⫽ { x = Kind } | ^^^^^^^^^^^^ InvalidFieldType |