CurryInfo: base-3.3.0 / Control.Monad.Monad

class Applicative m => Monad m where
  (>>=) :: m a -> (a -> m b) -> m b
  (>>) :: m a -> m b -> m b
  return :: a -> m a

  return = pure
  m >> k = m >>= \_ -> k

--- The class `Monad` defines operators for the sequential composition
--- of computations.
--- For instances of `Monad`, the standard `do` notation can be used.

["(>>=) :: a b -> (b -> a c) -> a c","(>>) 2 :: a b -> a c -> a c","return 0 :: b -> a b"]

Monad