On 25 April 2011 14:11, Angel de Vicente <angelv@iac.es> wrote:

curry :: ((a,b) -> c) -> (a -> b -> c)

is the same as:

curry :: ((a,b) -> c) -> a -> b -> c

HTH,

Ozgur