Thanks for the catch. None should be. Currently curried functions are untyped because we would have to recalculate it's type and i'm not sure i know how to do it properly.