Comment by internet_points

Wow. They really did the work, profiling and exploring by search, training GA/ML, ending up with what seems like a usable solution. Fingers crossed this is something that can end up in GHC (if the aptly named section 6.6.6 "Effect On Binary Size and Compilation Time" doesn't end up being too bad in practice)