Eta reduce.