$f=is_nonempty_map($*)
