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