Even with constructors lifted to global supercombinators, we need to push the arguments on the stack before invoking Pack{t, n}