let of_tuple4 (f1, f2, f3, f4) (v1, v2, v3, v4) = 
  TPL [f1 v1; f2 v2; f3 v3; f4 v4]