spell out syntactic sugar for lambda