\e -> f e ===> f