Control.Monad.Disj
class MonadDisj m
contradictory
contradictoryIf
contradiction
contradictionIf
disjunctions
disjunctionOfList
data DisjT m a
disjT
runDisjT