KV
Size: a a a
KV
D
D
D
VD
ЗП
type U c g h a b = forall f. c f => g f a -> h f b
type C f a b = f b a
type S f g a = f (g a) a
type Lens a b = U Functor (S (C (->))) (S (C (->))) a b
type Lens a b = forall f. Functor f => (a -> f a) -> (b -> f b)
U оно показывает, что линзы это пермутация hom для ограничения на функтор (мб что-то такое)DB
KV
і
= foo=bar ->| foo==bar =AA
і
AA
і
DB
KV
DB
DB
DB
ЗП
DB