Filtering for trait Head equal Troy