So then the question becomes, why do tuples need Foldable if the functions it defines aren't useful?