Bind型クラス

定義

code:purs(hs)

class Apply m <= Bind m where

bind :: forall a b. m a -> (a -> m b) -> m b