concreteTypeSealedDirectSubtypes

For GADTs, the subclasses whose type parameters failed to be inferred will be discarded.