Records in Haskell

[Simon Peyton-Jones]

| In regard to Labels versus Atom, etc., in my use case of converting
| between similar datatypes, it would be very reasonable to eventually
| add/remove prefixes/suffixes from these type-level reifications of
| constructor names. If type-level strings are not implemented as lists
| of characters, I would still like access to a comparable API. 

Can you be specific?  What operations, exactly, do you want?
	
Simon