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