3 Jan
2012
3 Jan
'12
4:32 a.m.
| 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