[Well-Typed] Choreographing a dance with the GHC specializer (Part 1) and Haskell Unfolder Ep 23

This is the first of a two-part series of blog posts on GHC specialization, an optimization technique used by GHC to eliminate the performance overhead of ad-hoc polymorphism and enable other powerful optimizations. There will also be a Haskell Unfolder episode about this topic.