let
with_uncurry3 f3 (a, b, c) = f3 a b c