Remove case splitting for type families