Properly add a Set lower bound on any polymorphic inductive in Type with
more than one constructor.