Integer.curry 6.08 KB