[Haskell-cafe] FunDeps vs. Associated Types

2008-12-05 Thread Sebastian Fischer
Dear Haskellers, I have a question regarding the correspondence between functional dependencies and associated types. {-# LANGUAGE TypeFamilies, FlexibleInstances, MultiParamTypeClasses, FunctionalDependencies #-} With associated types, we can

Re: [Haskell-cafe] FunDeps vs. Associated Types

2008-12-05 Thread Tom Schrijvers
On Fri, 5 Dec 2008, Sebastian Fischer wrote: Dear Haskellers, I have a question regarding the correspondence between functional dependencies and associated types. {-# LANGUAGE TypeFamilies, FlexibleInstances, MultiParamTypeClasses,