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