>>115
いや、仕様書は関係ないよｗ
論文と抽象代数の初歩だけで十分
余裕があればCoqとかAgdaとかHOLみたいな定理証明系で代数的な構造作って弄ってみるのもいいかも
ある代数構造とそれに一つだけ別の規則を足しただけの代数構造が全くの別物って感覚がはっきりわかるようになるよ
あとはMonadPlusに関しては
http://www.haskell.org/haskellwiki/MonadPlus
http://www.haskell.org/haskellwiki/MonadPlus_reform_proposal
あたりに目を通すといいかも