How can I parameterize a monad by its monad transformer?

Question

I\'d like to write a type that I can parameterize by its monad transformer. I\'ve tried several things, and ended up with something along these lines:

newtype