Strange Curry, Part 2

Last time I demonstrated a way to curry a function that involved amplifying types. I called it "strange curry" because the way I implemented partial function application did not involve a curry helper function and it involved re-writing a curried function when partially applied. In this post, I show how to use this strange curry to simplify a polish notation evaluator.