Generally you would have a different implementation for each struct you use as a key. And this is a template argument so this would certainly get in the way of

Generally you would have a different implementation for each struct you use as a key. And this is a template argument so this would certainly get in the way of folding.