cats.effect.io是否可以排序(是否在遍历类型类中)?

我喜欢按顺序收集效果(如 List[IO[Int]] 变成一个 IO[List[Int]] 就像这样:

scala> import cats._, cats.data._, cats.implicits._, cats.effect._

scala> val efs : List[IO[Int]] = List(IO(1),IO(2))
efs: List[cats.effect.IO[Int]] = List(IO$647684131, IO$2021068036)

scala> var efOfInts = efs.sequence
efOfInts: cats.effect.IO[List[Int]] = <function1>

scala> efOfInts.unsafeRunSync
res2: List[Int] = List(1, 2)

但有可能走另一条路吗?例如转弯 IO[列表[int] 成 列表[io[int] ?

我似乎找不到要补充的含义 sequence 关于IO,现在我想知道是否不可能遍历或排序IO?

有没有人这样做或者知道为什么不允许这样做?

谢谢。