EG
Bitraversable t => (a -> b -> (a, c)) -> (a -> d -> (a, e)) -> a -> t b d -> (a, t c e)
Давай, расскажи, что тут с первого взгляда понятно
Size: a a a
EG
Bitraversable t => (a -> b -> (a, c)) -> (a -> d -> (a, e)) -> a -> t b d -> (a, t c e)
EG
p
KR
p
p
p
p
EG
(a -> b -> b) -> b -> t a -> b
(a -> b -> b) -> b -> t a -> b
(b -> a -> b) -> b -> t a -> b
(b -> a -> b) -> b -> t a -> b
a
и b
EG
DS
EG
EG
<T, O, M, A, K>
надо давать нормальные названия, где возможноp
EG
DS
p
p
KR
<The, Owful, Magic, Akward, Kode>
?p