Functions and actions can return collections of entities or complex type instances whose types belong to an inheritance hierarchy. So it should be possible to append a type-cast path segment to filter the collection to a type sub-tree.