如何在Scala中为泛型类型提供默认类型类？

假设一个monoid定义为：

trait Monoid[T] {
  def op(x: T,y: T): T
  def id: T
}

由于串联操作下的字符串形成一个monoid,我们可以像这样为字符串提供一个默认的monoid：

implicit object StringMonoid extends Monoid[String] {
  override def op(a: String,b: String): String = a + b
  override def id: String = ""
}

这很容易,因为String不是泛型类型.

我要问的是如何为Seq [T]提供一个默认的monoid,其中type参数阻止我像上面那样创建一个隐式对象.

我可以：

class SeqMonoid[T] extends Monoid[Seq[T]] {
  override def op(a: Seq[T],b: Seq[T]): Seq[T] = a ++ b
  override def id: Seq[T] = Nil
}
implicit object intSeqMonoid extends SeqMonoid[Int]
implicit object doubleSeqMonoid extends SeqMonoid[Double]
implicit object stringSeqMonoid extends SeqMonoid[String]
...

但是这种方法并没有利用泛型类型的美感.

所以,一般来说,我的问题是：在Scala中有什么办法可以为泛型类型提供类型类实现吗？