Can we please not have example with ducktyped strings, at least for now ? The issues is it will conflict with match pattern ducktyping that also uses strings. Let's leave it out for now, we can always add support for this sugar later.