Documentation

This class allows us to use magnify part of the environment, changing the environment supplied by
many different monad transformers. Unlike zoom this can change the environment of a deeply nested monad transformer.

Also, unlike zoom, this can be used with any valid Getter, but cannot be used with a Traversal or Fold.