I was looking at this http://www.haskell.org/haskellwiki/GHC/Type_families And I found this http://darcs.haskell.org/testsuite/tests/ghc-regress/indexed-types/should_run/GMapAssoc.hs Which would be very useful. if it wasn't a dead link. Could someone mail me a copy, or a live url?