UnequalTerms.agda:8,8-11 One !=< Zero of type Set when checking that the expression one has type Zero