Macro lam 

macro_rules! lam {
    (λ $x:ident -> $e:expr) => { ... };
    ($span:expr; λ $x:ident -> $e:expr) => { ... };
    ($id:expr, $span:expr; λ $x:ident -> $e:expr) => { ... };
}