Document polymorphic isa?