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