哈斯克尔'；Scala猫的s mapM等效值

cats是否提供了与Haskell中的mapM等效的功能？ 它应该是这样的：

  def mapM[A, B, F[_], Col[_]]
  (col: Col[A])(f: A => F[B])(implicit F: Applicative[F], T: Traverse[Col]): F[Col[B]] = 
    T.sequence[F, B](F.map(col)(f))

---

不幸的是，我还没有找到像这样的函数=（

它被称为

遍历

：

scala> import cats.implicits._
import cats.implicits._

scala> List(1, 2, 3).traverse(n => Option((n * 2).toString))
res1: Option[List[String]] = Some(List(2, 4, 6))