... and document our ponderings in Note [Threshold arity for join points]. I also introduced a new warning in finaliseArgBoxities to see where we currently are a bit too optimistic wrt. boxity.
Note [Threshold arity for join points]
finaliseArgBoxities
Fixes #23113