1 2 3 4 5 6
Type error: error: InvalidVariantType --> <current file>:1:18 | 1 | < x : Bool | y : Type > | ^^^^ InvalidVariantType |