Dear functional-reactive camlers,

In order to change the dependencies between signals dynamically, one can
use the switch function whose type is:

utop $ React.S.switch;;
- : ?eq:('a -> 'a -> bool) -> 'a React.signal -> 'a React.signal
React.event -> 'a React.signal = <fun>

However I often find myself wanting to write signals of signals, and I
wrote the following definition to cope with them:

val bind_s : 'a React.signal -> ('a -> 'b React.signal) -> 'b React.signal
let bind_s s f =
  let s' = S.map ~eq:( == ) f s in
  let init = S.value s'
  and changes = S.changes s' in
  S.switch init changes

So far it worked as I thought it would, but still I'm not really confident
this is a safe use of signals. Does anyone see a potential pitfall here?

Cheers,
  Philippe.

PS at least, there should be an eq optional attribute to [bind_s], and the
last line should be [S.switch ~eq init changes]