Type error: error: InvalidVariantType
 --> <current file>:1:7
  |
1 | < x : True >
  |       ^^^^ InvalidVariantType
  |
