OT: Symbolic type variables (was Re: [Proposal] Renaming (:=:) to (==))

[Erik Hesselink]

On Mon, Sep 30, 2013 at 8:25 PM, Conal Elliott <conal at conal.net> wrote:
> I'm hoping we don't get more deeply invested in the syntactic change in GHC
> 7.6 that removed the possibility of symbolic type variables ("~>", "*", "+",
> etc). I had a new job and wasn't paying attention when SPJ polled the
> community. From my perspective, the loss has much greater scope than the
> gain for type level naturals. I'd like to keep the door open to the
> possibility of bringing back the old notation with the help of a language
> pragma. It would take a few of us to draft a proposal addressing details.

I also miss these on a regular basis. I seem to remember that during
the proposal, there was a mention of reversing the situation, i.e.
having a prefix for type variable operators instead. Did anything ever
come of that?

Erik