Algebra.Monad.Logic

data LogicT m a

class MonadLogic l m

listLogic

deduceMany

deduceAll

choose