let
of_tuple2 (f1, f2) (v1, v2) =
TPL
[f1 v1; f2 v2]