doc changes
don't allow the element type to be kind-polymorphic