Simon Peyton Jones authored Oct 25, 2019 and Marge Bot committed Oct 28, 2019

A join point was getting too large an arity, leading to #17294.
I've tightened up the invariant: see
  CoreSyn, Note [Invariants on join points], invariant 2b