"->" --> ":=>" in Curry/Uncurry