[Haskell-cafe] Possible bug?

[Wolfgang Jeltsch]

Am Freitag, 13. Februar 2009 17:16 schrieb Peter Verswyvelen:
> Can all functional dependencies be completely replaced with associated
> types when using GHC 6.10.1?

It might be possible as long as you don’t use overlapping instances. With 
overlapping instances, it’s typically not possible since there are no 
overlapping type family instances.

Best wishes,
Wolfgang