1
Esiste una rappresentazione di Van Laarhoven di "Opzionale"
Molti tipi di ottica hanno una rappresentazione di Van Laarhoven. Ad esempio, un Lenstipo Lens s t a b può essere rappresentato come: Functor f => (a -> f b) -> s -> f t Allo stesso modo a Traversal, può essere rappresentato in modo simile, scambiando il Functorvincolo per …