iface <- loadSrcInterface (mk_doc mod_nm) mod_nm True
; sequenceM [ lookupOrig mod_nm occ
| (mod,avails) <- mi_exports iface,
iface <- loadSrcInterface (mk_doc mod_nm) mod_nm True
; sequenceM [ lookupOrig mod_nm occ
| (mod,avails) <- mi_exports iface,