This package provides families of lenses, isomorphisms, folds, traversals,
getters and setters.