úÎÂ Safe-Infered A common AST A common symbol type choice AA polymorphic version of the AST to allow different symbol types lambda-ast-0.0.1Language.Lambda.ASTExprSymGExprLamAppVar