Evaluator.hs

module Evaluator where

--data Expr
--  = Lit Int
--  | Add Expr Expr

class ExprSym e where
  lit :: Int -> e
  add :: e -> e -> e

instance ExprSym Int where
  lit = id
  add = (+)

evaluate :: Int -> Int
evaluate = id