Filtering for trait Hat and More equal Nothing