on">,</span>
<span class="token punctuation">)</span>

<span class="token keyword">def</span> allCharacterNames<span class="token operator">:</span> UIO<span class="token punctuation">[</span>List<span class="token punctuation">[</span><span class="token builtin">String</span><span class="token punctuation">]</span><span class="token punctuation">]</span> <span class="token operator">=</span> ZIO<span class="token punctuation">.</span>succeed<span class="token punctuation">(</span><span class="token operato