f = bar &+& \x -> f (g x)