I have been pining for a first-class language support for recursion schemes after learning and using them. Supplanting naive recursion with structured recursion

I have been pining for a first-class language support for recursion schemes after learning and using them. Supplanting naive recursion with structured recursion would be an interesting move for a language. Does it have as much potential as structured programming?