Extensible Types

Simon Marlow wrote:

Haskell doesn't do open-ended extensible types very well,

It would be great to change this (perhaps not for Prime, though). It would mean being able to write something like Dynamic without special language support and associated ugliness. See http://haskell.org/haskellwiki/Extensible_datatypes