fatho

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 ()