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 ': xsDB
@ для тайп левел?type instance X xss@(x ': xs) = ..
AP
f — Maybe, t— Identity, a — VoidВЩ