Failed to solve the following constraints: [0] Is empty: x ≡ y [ at Issue835.agda:12,3-5 ]