111c874ff2f0b3b21b3ffa76c5b4960bc7d3a341
-rw-r--r-- 4167 Base.hs
-rw-r--r-- 4236 Global.hs
-rw-r--r-- 2571 InstEnv.hs
-rw-r--r-- 2456 Local.hs
-rw-r--r-- 2614 Naming.hs