Changed syntax to allow closed type families