Issue721c.agda:20,30-31 Bool !=< (t ≡ t) of type Set when checking that the expression t has type t ≡ t