Haskellの型クラスがまだ活用できない

id:flalin:20100910:1284077635 に頂いたコメントを吟味するうちに学んだ．（揶揄気味に書いたのだが→）「標準ライブラリに用意された便利な高階関数」は，なにも全部を覚えゲーする必要はなくて，Haskellの特徴である厳密な型を手がかりに用いればよい．例えばHoogleというHaskell標準ライブラリの検索エンジンではシグネチャで検索できるので，やりたいことを型に翻訳することにちょっと慣れれば，大きく絞り込めるようだ．

しかし，まだやはり慣れない．例えばさっき悩んだのは，「Maybe における mplus は，両方の引数が Just _ だったときに第1引数を返す」という定義

これはHaskell Hierarchical Librariesのどこを探せば書いてあるのか？

（まぁ，よく見たら Real World Haskell 15章 Looking at Alternatives にも書いてあったのだが...）