The "real" issue (https://github.com/philopon/types-compat/issues/1) has
been closed for a while, and I manually confirmed that the documentation
builds correctly under 7.10.2 and 7.8.4. The package itself doesn't
build older versions because of missing dependencies.