let g(a) { a*a } in g(5)