Abstract.agda:28,13-17 Bool !=< Answer of type Set when checking that the expression true has type Answer