Lens as a Divisibility Relation: Goofin’ Off with the Algebra of Types

philipzucker.com