and what about `List<String>` being a subtyp...
# language-proposals
i
and what about
List<String>
being a subtype of
List<Monoid>
?