[Haskell-cafe] checking types with type families

[Eduard Sergeev]

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.