-- inFutR :: (FutureG s (ReactiveG s b) -> FutureG t (ReactiveG t b))
--        -> (ReactiveG s b -> ReactiveG t b)


-- <NoBound Imp 1.0,1 `Stepper` (Imp 2.0,2)<interactive>: after: comparing after
f6 = f1 `mergeLR` f3
f6 = f1 `mergeLR` f3
f6 = f1 `mergeLR` f3