Re: How to best display type variables with the same name

On 19 October 2016 at 13:48, Richard Eisenberg wrote:

Interesting problem & solution.

Here's a wacky idea, from a position of utter ignorance about your environment: could you use color? Already, when I saw `b :: a` in the commentary there, where `b` is in scope as a type variable, it seemed wrong to me.

I think using colour when it's available is potentially a nice alternative to a[1] vs a[1].