typeLinkingExpr db imps su This = if scopeStatic su then typeLinkingFailure $ "This not accessible from static scope: " ++ (show su) else [lookUpThis su]
typeLinkingExpr db imps su This = if scopeStatic su then typeLinkingFailure $ "This not accessible from static scope: " ++ (show su) else [lookUpThis su]
typeLinkingExpr db imps su This = if scopeStatic su then typeLinkingFailure $ "This not accessible from static scope: " ++ (show su) else [lookUpThis su]