Y a-t-il une représentation de Van Laarhoven de «Facultatif»
De nombreux types d'optiques ont une représentation van Laarhoven. Par exemple, un Lenstype Lens s t a b peut être représenté comme: Functor f => (a -> f b) -> s -> f t De même, a Traversal, peut être représenté de manière similaire, en échangeant la Functorcontrainte pour Applicative:...