let fold_alpha = Fol.Vmap.fold