let
exists_list ?pos l f =
let
l, m = variable_list
Flexible
l
in
ex ?pos:pos l (f m)