closed type families compdata