create a monomorphic ALens from a getter/setter pair
monomorphic identity of an ALens
use a Prism as a kind of first-class pattern.