gah you're right, @mtl had confuzzled me. Well that changes things then, thanks.
Ross Paterson wrote: > 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). > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Tony Morris http://tmorris.net/ _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
