*§) :: ((a,b,c) -> d) -> a -> b -> c -> d-}
{-f *§ x y z = curry3 f-}
{-infixr 0 *§-}
{-xpto = uncurry3 *%.** ((,,))-}
{-xpto = uncurry *%.** (,)-}
(*§) :: (a -> b -> c -> d) -> a -> b -> c -> d
f *§ x y z = f x y z
{-uncur
(*§) :: (a -> b -> c -> d) -> a -> b -> c -> d
f *§ x y z = f x y z
(*§) :: (a -> b -> c -> d) -> a -> b -> c -> d
f *§ x y z = f x y z