3 Note [Simplifying inside stable unfoldings]
      3 Note [VarBndrs, TyCoVarBinders, TyConBinders, and visibility]
      4 Note [Join points]
      4 Note [Levity polymorphism invariants]
      5 Note [Empty case alternatives]
      5 Note [Shadowing]