Type family tests.