nullK :: K hi ho nullF :: F hi ho putK :: KCommand ho -> K hi ho -> K hi ho putF :: ho -> F hi ho -> F hi ho getK :: Cont (K hi ho) (KEvent hi) getF :: Cont (F a ho) a startupK :: [KEvent hi] -> K hi ho -> K hi ho startupF :: [hi] -> F hi ho -> F hi ho appendStartK :: [KCommand ho] -> K hi ho -> K hi ho appendStartF :: [ho] -> F hi ho -> F hi ho
