cataM.scala

  
    @inline final def cataM[F[_] : Traverse, M[_] : Monad, A]
    (tf: Fix[F])(destroy: F[A] => M[A]): M[A] = {
      val projected: F[Fix[F]] = tf.unFix
      val looped: M[F[A]] = projected.traverse[M, A](cataM(_)(destroy))
      val destroyed: M[A] = looped.flatMap(destroy)
      destroyed
  }