Filtering for trait expression equal guarded