How to best display type variables with the same name

Christopher Done chrisdone at
Thu Oct 27 09:37:17 UTC 2016

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

More information about the ghc-devs mailing list