Is there any way for the same type to implement a typeclass multiple ways.
The particular situation I  have in mind is composing
two monad trasformers of the same type, say reader monad.
In pure theory one reader can lift through another,
but in an implementation one gets a name clash.

thanks
Daniel
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to