[Haskell-cafe] Stratified monads

[Bulat Ziganshin]

Hello J.,

Monday, December 11, 2006, 10:20:17 PM, you wrote:

> Haskell implementations of the transformers in Espinosa's paper are
> discussed in Mark Jones's 1995 paper Functional Programming with
> Overloading and Higher-Order Polymorphism, and are available with the
> mtl package that is (I believe) usable with all the major Haskell
> compilers and distributed with at least ghc and hugs.  (I've never
> used yhc or jhc, so I don't know what libraries they distribute.)

afair, mtl uses multi-parameter type classes which is supportred only by
ghc/hugs at now




-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com