[Haskell-cafe] Help with associated types

[Emil Axelsson]

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).

Thanks,

/ Emil