…f profunctors (close #563)
arbtirary Optics that hold across the entire ecosystem, so it behooves us to give them a better name.
Lenses and Traversals might need to be 'Control.Lens.Getter.coerced' in some edge cases if their types are fixed at non-Simple types.
…iant + Functor.
… to form @\ncode\n@, ACT II