{α β : Type w} →
  {m : Type w → Type w'} →
    [Monad m] →
      [inst : Std.Iterator α m β] →
        [Std.IteratorLoop α m m] → (β → m (ULift.{w, 0} Bool)) → Std.IterM.Partial m β → m (ULift.{w, 0} Bool)