let
fold_alpha =
Fol
.
Vmap
.fold