{α β : Type} →
  {motive : Std.StreamMap α β → Sort u} →
    (t : Std.StreamMap α β) →
      ((streams : Array (α × Std.Internal.IO.Async.Selector β × IO Unit)) → motive { streams := streams }) → motive t