[Haskell-cafe] two type-level programming questions
nicolas.frisby at gmail.com
Thu Dec 4 18:09:34 EST 2008
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.
More information about the Haskell-Cafe