partial progress towards getting filter to type infer