create a polymorphic ALens_ from a getter/setter pair
polymorphic identity of an ALens_
use a Prism_ as a kind of first-class pattern.