Given the language's general trend away from functional programming and Guido's flat-out refusal to implement TCO, I think starting with an implementation, show

Given the language's general trend away from functional programming and Guido's flat-out refusal to implement TCO, I think starting with an implementation, showing interest (if it exists), and then trying to standardize via PEPs is probably a reasonable route to go.