definition module main

:: Expr
	= Lit Int
	| (+.) infixl 6 Expr Expr
	| ..

eval   :: Expr -> Int
pprint :: Expr -> String