> I will improve the type printer by adding some parenthesises for > functional-parameters, that will make the whole thing a lot more > readable, and disambigous the curried cases. Done on CVS. Parenthesises are now correctly displayed and (Void) -> Void is different from Void -> Void. Nicoas