Строка, воспринимаемая как моноид

Учитывая подпись, подобную этой, или ту :

def foo[A, F[_]](implicit mon: Monoid[F[A]], pr: Pure[F]): F[A]

Предполагая, что A - Char , есть ли способ получить String вместо List [Char] ?

String не принимает параметр типа, поэтому я предполагаю, что это невозможно. Какой следующий лучший вариант? Прямо сейчас я использую mkString для результата, но это не кажется оптимальным.

Я думаю Строка - это моноид с нулем "" и добавлением + ...