Filtering for trait Kompanion equal Head Split