Provide Ord/Eq instances for all tuple instances.
There was an MR a while ago to do this which sadly had some performance issues that were not ironed out.
It might still be good to provide this instances, or if not at least find out why performance goes south when we add them.