I should note that another small thing which would be desirable is a way to construct the derived instance of a class at a given type. Perhaps something along the lines of "instance Show MyType derived" or "derived instance Show MyType" which on its own would be handy sometimes. - Cale