[Haskell-cafe] Monad transformers, design

[Ross Paterson]

On Sat, Jul 31, 2010 at 10:56:31PM +1000, Tony Morris wrote:
> -- Suppose some data type
> newtype Inter a = Inter (Int -> a)
> 
> -- and a monad transformer for that data type.
> newtype InterT m a = InterT (m (Inter a))

The monad transformer should be Inter (m a).