Export2.curry 54 Bytes