<span class="hljs-class"><span class="hljs-keyword">type</span> <span class="hljs-title">A</span></span>: Trait; <span class="hljs-class"><span class="hljs-keyword">type</span> <span class="hljs-title">A</span></span>; <span class="hljs-class"><span class="hljs-keyword">type</span> <span class="hljs-title">A</span></span> = B; <span class="hljs-class"><span class="hljs-keyword">type</span> <span class="hljs-title">R</span></span><T> = m::R<T, ConcreteError>