Czy istnieje van van Laarhoven przedstawienie „Opcjonalne”
Wiele rodzajów optyki ma reprezentację van Laarhoven. Na przykład Lenstyp Lens s t a b może być reprezentowany jako: Functor f => (a -> f b) -> s -> f t Podobnie a Traversal, można przedstawić w podobny sposób, zamieniając Functorograniczenie na Applicative: Applicative f =>...