Is it likely that the ability to access data constructor / field names as described in the "Derivable type classes" paper will be implemented any time soon? I was playing with a ShowXML / ReadXML library. It would be much easier for users if they could just write instance ShowXML MyData instance ReadXML MyData rather than having to use DrIFT. Just wondering. Duncan