Redirecting to Type system