eta reduce several functions