9b78f702f2ecfdc6f853f2d102634a5bacaca1d4
-rw-r--r-- 4166 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