úΩëportable experimental/Sebastian Fischer (sebf@informatik.uni-kiel.de)Answer s are like Bool&s but can be evaluated incrementally.  "Creates an answer from a boolean. Evaluates an answer. The positive answer. The negative answer. Negates an answer. Conjunction of answers. Disjunction of answers.      fair-predicates-0.1 Data.AnswerAnsweranswer fromAnswertruefalseneg/\\/ UndecidedNoYesnegative conjunction disjunction