Scalaのコピーメソッドとサブタイプの多型

Question

下記のScalaコンパイラエラーを解決しようとしています。現在、私はScalaZ、型崩れやモノクルに探しています

data CC = CC {l::[e]} 
'makeLens CC 
f l = l .~ _e [] 

：これはようなものになるだろう（サブタイピングなし）（擬似）-Haskellで

case class CC[E](l:List[E]) 

trait D[E,L<:CC[E]]{ 
    def f(l:L):L = l.copy(l=List()) // does not compile: "found CC[E], required: L" 
} 

。

一見して、単眼が疑問に思っていないようですが、私の直感が間違っていれば間違っていることを証明してください。

ScalaZ +シェイプレスかもしれないprobably仕事、私は確信しています（それらを使用したことはありません）。

1）Scalaでこれを解決する最も簡単な方法は何ですか？

2）ScalaZ自体で十分でしょうか？またはシェイプレスで十分ですか？または、2つの必要性の組み合わせですか？それとも別の方法ですか？

Answer 1

あなたはMonocleで次の操作を行うことができます：

import monocle.macros.Lenses 

@Lenses 
case class CC[E](l:List[E]) 

object D { 
    def f[E](cc: CC[E]): CC[E] = CC.l.set(List())(cc) 
}