apparently it's called eta-reduction