∀ {α : Type u_1} {γ : Type u_3} {F : γ → Stream'.Seq α → Stream'.Seq α}
  [self : Tactic.ComputeAsymptotics.Seq.FriendlyOperationClass F] (c : γ),
  Tactic.ComputeAsymptotics.Seq.FriendlyOperation (F c)