1 2 3 4 5 6
Type error: error: InvalidPredicate --> <current file>:1:1 | 1 | if 1 then 1 else 1 | ^^^^^^^^^^^^^^^^^^ InvalidPredicate |