Я просмотрел руководство по скалязу . Из этой ссылки я понимаю следующий код: scala> def sum[A](xs: List[A])(implicit m: Monoid[A]): A = xs.foldLeft(m.mzero)(m.mappend) sum: [A](xs: List[A])(implicit m: Monoid[A])A scala> implicit val...

https://wiki.haskell.org/Polymorphism говорит Специальный полиморфизм означает, что значение может принимать любой из нескольких типов, поскольку ему или используемому им значению присвоено отдельное определение для каждого из этих типов....