Could you prototype how it is going to be implemented in JVM? I.e. when

Monoid

is a plain interface and there's a function taking

List<Monoid>

and you want to pass a

List<String>

to it.