Doh, no edit button!
Angelo Bulfone
1

You’re right. One substitution can contain type variables used in the other one so instead of simply merging them together, one should be applied to the other first. I will correct this.

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.