Remove `Proxy` re-export?

`Proxy` is re-exported by `Variant`:

https://github.com/natefaubion/purescript-variant/blob/00629d1ff281bdff41cb00a9a821ba3e5e9aea61/src/Data/Variant.purs#L38

However, as this is now in the Prelude it seems like this is an unnecessary re-export.