[Haskell-cafe] Monad transformers, design

[Tony Morris]

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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>   

-- 
Tony Morris
http://tmorris.net/