[Haskell-cafe] Help with associated types
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).
More information about the Haskell-Cafe