Bool.curry 100 Bytes