title: Scala converting recursively bounded type parameter (F-bounded) to type member
body: <p>How would I convert:</p>
  
  <pre><code>trait Foo[A &lt;: Foo[A]]
  </code></pre>
  
  <p>to a type member?</p>
  
  <p>I.e., I want something along the lines of the following:</p>
  
  <pre><code>trait Foo {
    type A &lt;: Foo {type A = ???}
  }
  </code></pre>
  
  <p>but I am having difficulty because the name A is already taken within the type refinement. This question is similar (and spawned from): <a href="https://stackoverflow.com/questions/14225582/f-bounded-quantification-through-type-member-instead-of-type-parameter/14232069">F-bounded quantification through type member instead of type parameter?</a></p>