data Exp r = Exp (r -> r -> (Int -> r) -> (Exp r -> Exp r -> r) -> (Exp r -> Exp r -> r) -> r) zero, one :: Exp r zero = undefined one = undefined const :: Int -> Exp r const x = undefined plus = undefined mult = undefined evaluate :: Exp Int -> Int evaluate = undefined