references-0.2.1.2: Generalization of lenses, folds and traversals to handle monads and addition.