as.foldRight(m.unital(List.empty[A]))((a, acc) =>
      m.flatMap(f(a))(b => if(!b) acc else
        m.flatMap(acc)(acc => m.unital(a :: acc))))