type Expr
	Var
	Abs Type Expr
	App Expr Expr
	...

-- want to attach SourceLoc to each constructor

type ExprWithLoc (> Expr)
	+ SourceLoc

	-- is equivalent to
	Var SourceLoc
	Abs Type Expr SourceLoc
	App Expr Expr SourceLoc
	...