Applicative Applicative functors.LazyList An alternative to the batteries lazy list library, with generally improved laziness.Monad Monads with additional structure.TagTree Tagged logic trees which are simplified when combined. When the contents are interpreted as a bag conditional values, should be a monad.