Optics and existential types - but not what you might think HOME DAY Optics and existential types - but not what you might think by Manuel Bärenz Aug 18, 2025 lenses optics Welcome to the first blog post of the Heilmann Software Developer Blog! We are a smallish company in southern Germany, and we create [...]