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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
