Modernized the verify_currying example