Warning when a class has two empty pattern subclasses