let
fold =
Term
.
Map
.fold