nonEmpty

where_impl