uc = uncurry . curry
pero la definición de `uc` es:
uc = uncurry curry
El tipo al que llegan ustedes se da si `uc` se define:
pero la definición de `uc` es:
pero la definición de `uc` es: