class Monad m where (>>=) :: m a -> (a -> m b) -> m b @macro (>>) :: Monad m => m a -> m b -> m b ma >> mb = ma >>= (\_ -> mb) main = "OK" -- OK