Make GHC.Types.Id.Make.shouldUnpackTy a bit more clever
As #23307 (closed), GHC.Types.Id.Make.shouldUnpackTy
was leaving money on the
table, failing to unpack arguments that are perfectly unpackable.
The fix is pretty easy; see Note [Recursive unboxing]