Yampa/pSwitch
pSwitch :: Functor col
=> (forall sf. (in -> col sf -> col (ext, sf)))
-> col (SF ext out)
-> SF (in, col out) (Event mng)
-> (col (SF ext out) -> mng -> SF in (col out))
-> SF in (col out)
(download original Yampa pSwitch.svg)