1
Чи є представлення ван Лаарховена `Необов’язково '
Багато типів оптики мають представлення ван Лаарховена. Наприклад, Lensтип Lens s t a b може бути представлений у вигляді: Functor f => (a -> f b) -> s -> f t Аналогічно a Traversal, можна представити аналогічним чином, змінюючи Functorобмеження на Applicative: Applicative f => (a -> f b) -> …