ひとつ前の記事「フリーモナド 1： 自由で無料な木」において次のように書きました（ブラケット内は要約です）。 [圏論的に考えた場合と、型クラスで考えた場合とでは] メンタルモデルがだいぶ違います。この食い違いがコミュニケーションの障害になることが…