I think this should be merged into the doc comment of HList#Fold