[GHC-22979] Illegal nested use of type family is undocumented

[alt-romes]

As the title says! It'd be good to have an explanation for this one.

[wolverian]

Would anyone know why this limitation is lifted when the UndecidableInstances extension is enabled? I don't quite see the connection.