>>681
(>>=)のような組み合わせ方法を議論のビルディングブロックに
もってきたのがHaskellの（というかワドラーの）偉さなんだけど、
この「偉さ」は静的な型がしっかりした世界でのみ意味を持つのであって
そういう意味では他の言語では（所謂関数型言語の仲間であっても）
モナドを論じる意味は全くない。