[Haskell-cafe] two type-level programming questions

[Nicolas Frisby]

1) Type families, associated types, synonyms... can anything replace
the use of TypeCast for explicit instance selection? Section 2, bullet
4 of http://www.haskell.org/haskellwiki/GHC/AdvancedOverlap indicates
a negative response. Any other ideas?

2) Any progress/options for kind polymorphism in instances?

Thanks for your time.