Redirecting to Type inference