入出力があるのに純粋なのは、命令書というアイディアです。モナドとはなんの関係もありません。アプリカティブとか、平等に言ってあげて下さいね。言いたくないなら、なぜモナドと言ってしまうのか、自問自答すべきです。モナドということで、相手を思考停止にしたいんだろうな。自分も思考停止していることに気づいていない。スーパーエンジニアっていう響きちょっといいなと思って検索したらスーパーエンプラに辿りついた。分かっている人が、モナドの便利さを念頭におきながらモナドというのは全然問題ないですよ。書き方が悪かった気がしますが、僕はそうでない場合を問題にしています。いう型クラスのことであって、圏論のモナドではありません。