A
Size: a a a
YS
YS
A
YS
ЗП
foldr fn z . map fn2
это можно фьюзить?ЗП
f (t a) -> (f a, t a)
ВЩ
f (t a) -> (f a, t a)
f
— Maybe
, t
— Identity
, a
— Void
ВЩ
Maybe (Identity Void) -> (Maybe Void, Identity Void)
ЗП
@
для тайп левел?type instance X xss@(x ': xs) = ..
ЗП
x ': xs
DB
@
для тайп левел?type instance X xss@(x ': xs) = ..
AP
f
— Maybe
, t
— Identity
, a
— Void
ВЩ