f = \x -> bar map (filter x) where