{P : Sort u_1} →
  {collection stream : Type u} →
    {t : Std.ToStream collection stream} →
      {collection' stream' : Type u} →
        {t' : Std.ToStream collection' stream'} →
          collection = collection' → stream = stream' → t ≍ t' → Std.ToStream.noConfusionType P t t'