putSP :: a -> SP b a -> SP b a putK :: KCommand a -> K b a -> K b a putF :: a -> F b a -> F b a
putSP xs sp
data SP a b
type KCommand a = Message XCommand a
type FCommand a = Message TCommand a
xs
followed by any output produced by sp
xs :: a
sp
with.
sp :: SP b a
putSP 1 nullSP