Integer.curry 6.24 KB