Définissez une fonction répondant aux spécifications suivantes :
\begin{align*}
& \text{Nom} & & \texttt{uncurry3 f} \\
& \text{Type} & & \texttt{(a -> b -> c -> d) -> (a, b, c) -> d} \\
& \text{Conditions} & & - \\
& \text{Résultat} & & \text{Renvoie une version non-curryfiée (dont l'argument est un tuple de 3 valeurs) de la fonction curryfiée } \texttt{f} \text{.}
\end{align*}
INGInious