mention polynomial endofunctors for general inductive types