(module Fold_map)