Remove proxy types - Githubissues

purescript / purescript-prelude

The PureScript Prelude

BSD 3-Clause "New" or "Revised" License

163 stars 88 forks source link

Remove proxy types #288

Closed JordanMartinez closed 2 years ago

JordanMartinez commented 2 years ago

Description of the change

Follows up with #284 by removing all kind-specific Proxy types that were missed in that PR.

Checklist:

[x] 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)