1
Có một đại diện van Laarhoven của 'Tùy chọn`
Nhiều loại quang học có một đại diện van Laarhoven. Ví dụ, một Lensloại Lens s t a b có thể được biểu diễn dưới dạng: Functor f => (a -> f b) -> s -> f t Tương tự a Traversal, có thể được biểu diễn theo cách tương …