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.... Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.