(Where the problem is specifically “We have multiple ways of going from one type to another, we want to do each of them in turn, and coalesce them”)