@hackage / TypeIlluminator

TypeIlluminator is a prototype tool exploring debugging of type errors/