Add visible type applications

JordanMartinez commented 2 years ago

Description of the change

Updates most type variables to support visible type applications. I'm not sure we want to do this as liberally as I have done, but it should reveal all we could do.

Also drops unneeded Proxy args in many record-related functions now that such information can be passed via visible type applications.

Blocked by https://github.com/purescript/purescript/pull/4235

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)

natefaubion commented 2 years ago

I don't think this is ready to be a PR yet. I feel like this gives the impression we are going to ship 0.15 with all these changes.

JordanMartinez commented 1 year ago

Closing as VTAs hasn't yet been implemented, and its premature to start this conversation until then.

purescript / purescript-prelude

Add visible type applications #290