the description for this gist

post.scala

trait LanguageWithMul[Wrapper[_]] extends Language[Wrapper] {
    def multiply(a: Wrapper[Int], b: Wrapper[Int]): Wrapper[Int]
  }