>>939
合ってると思う
Haskellの学習という観点だったら、モナドについて圏論的な理解を深めるよりも
プログラミング上のテクニックとしてモナド変換子の使い方でも学んだ方が良い