Type error: error: BinOpTypeMismatch --> :1:0 | 1 | [ True ] # 1 | ^^^^^^^^^^^^ BinOpTypeMismatch |