¿Hay una representación de Van Laarhoven de `Opcional`
Muchos tipos de óptica tienen una representación de Van Laarhoven. Por ejemplo, un Lenstipo Lens s t a b puede representarse como: Functor f => (a -> f b) -> s -> f t Del mismo modo Traversal, a , se puede representar de manera similar, intercambiando la Functorrestricción por...