S
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
Size: a a a
S
AS
KS
KS
KS
KS
λ
Б
Б
AK
AS
λ
AK
s
s
λ
Б
ZM
ZM