Redirecting to Algebraic data type