startupSP :: [a] -> SP a b -> SP a b startupK :: [KEvent a] -> K a b -> K a b startupF :: [a] -> F a b -> F a b
startupSP msgs sp
msgs :: [a]
sp
sp :: SP a b
startupSP xs sp = sp `serCompSP` putsSP xs idSP
idSP, serCompSP,
idSP
serCompSP
delaySP.