Consider splitting the type parameter v of Coroutine in two seperate types: i for input values and o for output values.

This doesn't only yield a more expressive result, but also provides more guidance as of which elements need to be plugged in where - especially in the implemetation of >>>.
Another cool thing is that all code - except the type annotations - can stay the same.