[Haskell-cafe] two type-level programming questions

Nicolas Frisby 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 mailing list