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