[Haskell-cafe] Monad transformers, design
tonymorris at gmail.com
Sat Jul 31 09:19:04 EDT 2010
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
More information about the Haskell-Cafe