dynF :: F a b -> F ((F a b) ⊕ a) b
dynF initF
dynF
creates a fudget that can be replaced dynamically by sending a message to it.
Left fud
replaces the currently running fudget with fud
. Right x
passes x
to the current fudget.
initF :: F a b