Main.curry 45 Bytes