Comment by icarus127

Could you elaborate or provide links to examples of what you mean by solving this with codata?