Link from 7.6.3.4 to 7.7.2.6 in the user guide.

This point the user that there is a relation between the
UndecibadleInstances flag and the type families, not just type
classes.