import Id
import Var
import Name
-import Class
import Outputable
-- debug = False
-- Build the type of the dictionary function.
pa_tc <- builtin paTyCon
- let pa_opitems = [(id, NoDefMeth) | id <- method_ids]
let Just pa_cls = tyConClass_maybe pa_tc
let dfun_ty = mkForAllTys tvs