absF :: SP a b -> F a b
absF sp
absF
is the basic abstract fudget constructor. It takes a stream processor
and returns the corresponding abstract fudget. An abstract fudget
operates only with high level messages.
sp :: SP a b
mapF = absF mapSP