SN
Size: a a a
SN
SB
Д
SB
SB
Д
SB
RM
RM
RM
SB
{ok, тут_что_угодно} | {error, тут_тоже_что_угодно}SB
{ x0, x1, ..., xN } это N-upleSB
Either a b и его частный случай Either a () ~ Maybe a. вот только без fmap и возможности работать с таким флоу в плоском стилеSB
Д
SB
SB
Д
SB
Д