Какъв е този тип А при изучаването на Scalaz за функцията сума?

В Learning Scalaz има параметър за тип на сумата на метода.

Това означава ли, че тип А е от тип Monoid? Въпреки това изглежда грешно, ако типът A е Monoid, тогава как може да бъде и цяло число, както се използва в примера. Сигурно чета параметъра тип погрешно.

Какво е значението на параметъра тип? Как трябва да го чета?

def sum[A: Monoid](xs: List[A]): A = {
     val m = implicitly[Monoid[A]]
     xs.foldLeft(m.mzero)(m.mappend)
   }