Redirecting to Dependent type