Simon Peyton-Jones wrote: > I'm interested in situations where you think fundeps work and type > families don't. Reason: no one knows how to make fundeps work cleanly > with local type constraints (such as GADTs). > > If you think you have such as case, do send me a test case.
As an example, is it possible to implement something like: http://okmij.org/ftp/Haskell/deepest-functor.lhs with TF only? I believe the following wiki-page http://www.haskell.org/haskellwiki/GHC/AdvancedOverlap also points out that "However, there's a problem: overlap is not allowed at all for type families!!" (c) or is it just a question of implementing closed type families? -- View this message in context: http://old.nabble.com/checking-types-with-type-families-tp28967503p29049813.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe