1 2 3 4
(functor ((algebraic-structures monoid fold) (M (<> unit)) (F (foldl foldr))) (fold) (import scheme M F) (define (fold x) (foldl <> unit x)))