foo b | c <- f b = c + b