GHCiで型の定義を見る限り、個人的な解釈だと、プログラムにおいての>>値→計算した 値<<の「計算した」がモナドではないかと思います。関数透過性とか圏論とか、まだ重要そうなキーワードはピンときていませんが、またひとつ重要そうなキーワードがわかりま…