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