Translating different lambda expressions