eq :: (v t) (v t) -> (v Bool) | == t
instance intArith Evaluator where
- lit x = \e->x
- add x y = ...
+ lit x = Evaluator \e->x
+ add x y = Evaluator ...
instance intArith PrettyPrinter where
- lit x = toString x
- add x y = x +++ "+" +++ y
+ lit x = PP $ toString x
+ add x y = PP $ x +++ "+" +++ y
...
...