MkIface
mkUsedNames
mkDependencies
mkIface
mkIfaceTc
writeIfaceFile
checkOldIface
data RecompileRequired
recompileRequired
tyThingToIfaceDecl