- type signature of uncurry function
- uncurry f=(a,b)->f a b
- >add3 5
- 8
- add :: (Num t) => (t, t) -> t
- add (x, y) = x + y
- uncurry :: (a -> b -> c) -> ((a, b) -> c)
- uncurry f=(a,b)->f a b
- uncurry :: (a -> b -> c) -> (a, b) -> c
- uncurry f = (a, b) -> (f a) b
- uncurry' :: (a -> b -> c) -> ((a, b) -> c)
- uncurry' f (a,b) = f a b
- f x y z = x + y + z
- f = x y z -> x + y + z
- f x = y -> (z -> x + y + z)