Upcast
More lazy NotTypeFilter