pretty lambda + abbrev