putMessageFu :: Message FRequest ho -> F hi ho -> F hi ho getMessageFu :: Cont (F a b) (KEvent a)
putF and getF, but they deal with untagged
low level messages instead of tagged. putFu will put the tag Here
on commands, and getFu will strip the tag on the event.