This wouldn’t really be a useful constructor for P...
# arrow
s
This wouldn’t really be a useful constructor for Prisms, right?