豊福です。

All About Monads
Appendix I - A physical analogy for monads
の

-- Tray is a monad
instance Monad Tray where
     Empty        >>= _      = Empty
     (Contains x) >>= worker = worker x

をモナド的書き方でなく関数的に書いたものと見比べようと思い
   polishChopsticks :: Tray Chopsticks -> Tray Chopsticks 
   polishChopsticks Empty = Empty
   polishChopsticks (Contains x) = ... x
などと書いていて、
   Empty >>= _ = Empty
に対応した
   Tray a -> Tray b などんな関数 f に対しても f Empty = Empty
を意味する
   _ Empty = Empty
的なことを書きたくなったのですが引数の方ではなく関数の方に
「_」を使ったことがなく書き方がわかりません。これはどう書い
たらよいのでしょうか。
---
                         豊福
                         nobu_toyofuku / nifty.com


--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/