morphisms-of-computational-structures
morphisms-of-computational-structures copied to clipboard
What is profunctor optics? How does it figure in the scheme of things?