Adds uncurried ST functions

[mikesol]

Description of the change

This PR is a copy-paste of Effect's uncurried functions with an additional nominal type parameter.

---

Checklist:

• Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
• Linked any existing issues or proposals that this pull request should close
• Updated or added relevant documentation
• Added a test for the contribution (if applicable)

[mikesol]

Apologies for the many failed builds, I was too lazy to do the pulp setup on my machine so I just let the CI fail my way to success.

[JordanMartinez]

Can you add a changelog update?

[mikesol]

Do folks think the nominal parameter should appear first in the ST functions? Currently, it's:

STFn10 t a b c d e f g h i j r

but it could be instead

STFn10 a b c d e f g h i j t r

I almost always lead with nominal parameters, but if we did it this way, the order of parameters would follow the type better.

[JordanMartinez]

Hm.... If it was at the end but before r, then one could define type aliases like:

--   StFnInt3 t r = StFn Int Int Int t r
type StFnInt3     = StFn Int Int Int

vs

StFnInt3 t = StFn Int Int Int t

I guess that's better?

[mikesol]

Hm.... If it was at the end but before r, then one could define type aliases like:

--   StFnInt3 t r = StFn Int Int Int t r
type StFnInt3     = StFn Int Int Int

vs

StFnInt3 t = StFn Int Int Int t

I guess that's better?

Changed.

As per the discussion here: purescript/purescript#4386 (comment), I think this should be merged before we review the compiler change. Let me know if anyone objects.

[JordanMartinez]

@garyb Can this get an approval?