let fold f e =
  f u (f la (f p (f bv (f cop (f nl (f app (f arr (f set e))))))))