foo b | c <- f b = c where f = here