-
--- OLD: convoluted way to compute global_ty
--- let
--- (local_tyvar_tmpls, theta, tau) = splitType local_ty
--- in
--- -- Make new tyvars for each of the universally quantified type vars
--- copyTyVars (clas_tyvar:local_tyvar_tmpls)
--- `thenB_Tc` \ (inst_env, new_tyvars, _) ->
---
--- let -- Instantiate the tau type
--- full_theta = (rec_clas, (mkTyVarTemplateTy clas_tyvar)) : theta
--- full_rho = mkRhoTy full_theta tau
--- inst_full_rho = instantiateTy inst_env full_rho
--- (_, global_ty) = quantifyTy new_tyvars inst_full_rho
-