31 Jul
2010
31 Jul
'10
1:19 p.m.
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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Tony Morris http://tmorris.net/