Update to support closed type families.