All right, let us get the identity types of type families working... It doesn't work! You need types indexed by type families, which we don't have here. [[!redirects Sandbox > history]]