let
of_tuple3 (f1, f2, f3) (v1, v2, v3) =
TPL
[f1 v1; f2 v2; f3 v3]