ParallelTaglessFinal

Main.scala

import cats._
import cats.implicits._

trait Alg[M[_]] {
  def doSomething(s: String): M[Unit] 
}

object AlgVect extends Alg[Vector] {
  def doSomething(s: String): Vector[Unit] = Vector(println(s))
}

def program[M[_]: Monad, F[_]](list: Vector[String])(M: Alg[M])(implicit P: Parallel[M, F]) =
  list.parTraverse(M.doSomething)

program(Vector("Hello", "World"))(AlgVect)