Hi all, I've been looking through the source code and the GHC commentary and I still can't quite work out what LIE stands for. The Type Checking section of the Commentary suggests "LIE (Local Instance Environment?)". Could someone out there tell me what it does actually stand for? Cheers, Sean