create a monomorphic Lens from a getter/setter pair
monomorphic identity of a Lens
create a monomorphic Lens from a combined getter/setter function
use a Prism as a kind of first-class pattern.