Filtering for trait head equal abstract