* So far, family instance modules was only available for external modules.
* This fixes the "Over" test in the testsuite under indexed-types/