More clarification in docs for implicit quantification
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 11143 Class.hs
-rw-r--r-- 19346 CoAxiom.hs
-rw-r--r-- 72938 Coercion.hs
-rw-r--r-- 1488 Coercion.hs-boot
-rw-r--r-- 64861 FamInstEnv.hs
-rw-r--r-- 38057 InstEnv.hs
-rw-r--r-- 4323 Kind.hs
-rw-r--r-- 32980 OptCoercion.hs
-rw-r--r-- 123681 TyCoRep.hs
-rw-r--r-- 369 TyCoRep.hs-boot
-rw-r--r-- 86801 TyCon.hs
-rw-r--r-- 262 TyCon.hs-boot
-rw-r--r-- 93602 Type.hs
-rw-r--r-- 552 Type.hs-boot
-rw-r--r-- 48262 Unify.hs