Error: values of type a2 → a3 cannot be compared.
https://disco-lang.readthedocs.io/en/latest/reference/not-qual.html
