MkIface
mkIface
mkIfaceTc
writeIfaceFile
checkOldIface
data RecompileRequired
recompileRequired
tyThingToIfaceDecl