Fix arityType: -fpedantic-bottoms, join points, etc
Arity and eta expansion (again).
Fixes #21694 (closed) and #21755 (closed) at least.
This is the HEAD version of !8421 (closed)
Arity and eta expansion (again).
Fixes #21694 (closed) and #21755 (closed) at least.
This is the HEAD version of !8421 (closed)