How to best display type variables with the same name

[Christopher Done]

On 19 October 2016 at 13:48, Richard Eisenberg <rae at cs.brynmawr.edu> 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].