SimpleExample.curry 616 Bytes