- (_,rho_arg_tys,tau_ty) = splitSigmaTy (idType b)
- (tau_arg_tys, _) = splitFunTy tau_ty
- all_arg_tys = ASSERT(null rho_arg_tys) {-rho_arg_tys ++-} tau_arg_tys
+ (_, rho_ty) = splitForAllTy (idType b)
+ (all_arg_tys, _) = splitFunTyWithDictsAsArgs rho_ty