uncurry :: (a → b → c) → a → b → c
uncurry(F, Y, U) → F(Y, U)