Issue205.agda:12,13-14
Set !=< _ ⊥ of type Set₁
when checking that the expression ⊥ has type d _ * ⊥