MkIface

mkUsedNames

mkDependencies

mkIface

mkIfaceTc

writeIfaceFile

checkOldIface

tyThingToIfaceDecl