let
all_filter (_:
F
.var) =
true