ic x) => x -> TCEnv r -> Maybe (SymInfo r)
--------------------------------------------------------------------------------
tcEnvFindSymInfo x γ = envFindTy x (tce_names γ)

tcEnvFindReturn = v_type . envFindRet
tcEnvFindSymInfo :: (Unif r, F.Symbolic x) => x -> TCEnv r -> Maybe (SymInfo r)
tcEnvFindSymInfo x γ = envFindTy x (tce_names γ)
tcEnvFindSymInfo x γ = envFindTy x (tce_names γ)