One option is `sampleOn : Signal b -> Stream a -> Signal a`. I'm not sure what to do here really.