gistfile1.hs

import Control.Monad.IO.Class

newtype SchadeT m a = SchadeT { runSchade :: m a }
type SchadeM = SchadeT IO

instance Monad m => Monad (SchadeT m) where
  return x = SchadeT $ return x
  m >>= f  = SchadeT $ runSchade m >>= (runSchade . f)

schade :: MonadIO m => SchadeT m ()
schade = SchadeT . liftIO $ putStrLn "Oohhhh!"

eineRundeMitleid :: MonadIO m => SchadeT m ()
eineRundeMitleid = replicateM_ 10 schade