New extension to Haskell -- data types and polymorphism at the type levelresearch.microsoft.com73 pointsdons15 years ago