Integer.curry 6.19 KB