Folding category composition according to a arbitrary integer supplied by user instances of the FromXML type class