definition module test

:: In a b = In infix 0 a b
:: DSL
	= Lit Int
	| Var (DSL -> In Int DSL)
	| (+.) infixl 6 DSL DSL
	| ..