Note [Eta expansion in match]