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
Д