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