Type Parameter Power-Up! Variance, Bounds, and Inference by Chris Phelps