Redirecting to Generalized Algebraic Data Type