[Haskell] (>>=)はSコンビネータで、Preludeに入っているので良いのでは(?)
実は(常識?) instance Monad ((->) r) where return = const f >>= k = \ r -> k (f r) r なので f x = hoge (fuga »
実は(常識?) instance Monad ((->) r) where return = const f >>= k = \ r -> k (f r) r なので f x = hoge (fuga »