module Class where

class Monad m where
    bind :: m a -> (a -> m b) -> m b
    seq :: m a -> m b -> m b
    seq ma mb = ma `bind` (\_ -> mb)