Type error: error: EquivalenceTypeMismatch
 --> <current file>:1:0
  |
1 | 1 === False
  | ^^^^^^^^^^^ EquivalenceTypeMismatch
  |