foo3 : A → B → A