Rewrite theory on Generic identifiers
Rewrite GI's section in the deriving markup language requirements chapter