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