Agda-2.3.2.2: test/fail/Issue721b.err
Issue721b.agda:15,12-13 Bool !=< _*_ x ≡ (λ x₁ → x₁) of type Set when checking that the expression x has type _*_ x ≡ (λ x₁ → x₁)
Issue721b.agda:15,12-13 Bool !=< _*_ x ≡ (λ x₁ → x₁) of type Set when checking that the expression x has type _*_ x ≡ (λ x₁ → x₁)