Optics in Funx

Same thing, different representations. That’s an Iso.

Includes a Livebook