README: Update verify_currying type