Eta reduction, superfluous brackets