Filtering for trait Extra equal t**s