x, IsLocated x) => x -> TCEnv r -> Maybe (RType r)
--------------------------------------------------------------------------------
tcEnvFindTy x γ = fmap v_type (tcEnvFindSymInfo x γ)

-----------------------------------
tcEnvFindTy :: (Unif r, F.Symbolic x, IsLocated x) => x -> TCEnv r -> Maybe (RType r)
tcEnvFindTy x γ = fmap v_type (tcEnvFindSymInfo x γ)
tcEnvFindTy x γ = fmap v_type (tcEnvFindSymInfo x γ)