It is, in fact, straightforward to see how to transform one coinductive
session into another.