Could you add a mention of this new one to the "deriving" section of the manual?