When we derive the Show instance of the big record in #16577, I get the following compilation times with -O:
-O
