[Haskell-cafe] Help with associated types

Emil Axelsson emax at cs.chalmers.se
Fri Apr 18 12:08:31 EDT 2008

After some thinking I think I can put my question much simpler:

If I have a class with some dependencies, say

   a -> ..., b c -> ...

Is it possible to encode this using associated types without having all of a, b 
and c as class parameters?

It seems to me that it's not possible. And if so, I'll simply drop this idea 
(was hoping that ATs would allow me to have fewer class parameters).


/ Emil

More information about the Haskell-Cafe mailing list