Remove additional rule that parameters must match for dispatch

FWIW I’ve run into this limitation on a real project. See Understanding the use of Union with parametric types for a brief discussion. I didn’t know the issue had been addressed. That’s cool!