B.4 Adding application-specific code

mapF :: (a -> b) -> F a b,

constructs stateless abstract fudgets.

mapstateF :: (a -> b -> (a, [c])) -> a -> F b c,

constructs stateful abstract fudgets.