This package contains combinators and types for working with monadic getters and folds as split off from the original lens package.