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