let all_filter (_:F.var) = true