the MPTC Dilemma (please solve)

isaac jones ijones at
Fri Feb 10 20:29:03 EST 2006

I've created a wiki page and a ticket to record solutions to what I'm
calling the "Multi Parameter Type Class Dilemma".  It's summarized

MultiParamTypeClasses are very useful, but mostly in the context of
FunctionalDependencies. They are particularly used in the monad
transformer library found in fptools. The dilemma is that functional
dependencies are "very, very tricky" (spj). AssociatedTypes are
promising but unproven. Without a solution, Haskell' will be somewhat
obsolete before it gets off the ground.

I've proposed a few solutions.  Please help to discover more solutions
and/or put them on the ticket/wiki.  

Wiki page:




isaac jones <ijones at>

More information about the Haskell-prime mailing list