λ
do-нотация значительно шире, чем сахар над биндом. Можно вспомнить о расширениях RecursiveDo и ApplicativeDo.Size: a a a
λ
do-нотация значительно шире, чем сахар над биндом. Можно вспомнить о расширениях RecursiveDo и ApplicativeDo.λ
NL
λ
λ
λ
λ
NL
NL
λ
λ
NL
NL
r
DF
DF
r
DF
T
T