Control.Monad.MonadStack

class MonadStack m n