references-0.2.1.2: Generalization of lenses, folds and traversals to handle monads and addition.
Control.Reference.Predefined.Containers.Tree