create an Iso_ from pair of functions
view -> from the source of an Iso_ to the focus of an Iso_, review -> from the modified focus of an Iso_ to the modified source of an Iso_
synonym for apply
lift a polymorphic Iso_ to operate on Functors