Redirecting to Abstract data type