This method uses the same semantic heuristics, as the default semantic comparison, to map values from the source constructor parameters to the destination constructor. (It would be nice if we also include that in the summary.)

In other words, `ToResemblance` can also work for types without parameterless constructors.