Filtering for trait symbol equal F