モナドとは何かなんとなくわかった気がする

GHCiで型の定義を見る限り、個人的な解釈だと、プログラムにおいての

>>

値→計算した 値

<<

の「計算した」がモナドではないかと思います。

関数透過性とか圏論とか、まだ重要そうなキーワードはピンときていませんが、またひとつ重要そうなキーワードがわかりましたね。