私はHaskellWiki > Existential type # Dynamic dispatch mechanismを見ています。 そして、私はこの部分を取るためにテンプレートHaskellのやり方があるはず、と思っています: class Shape_ a where
...
type Radius = Double
data Circle = Circle Radius
:エラーメッセージの重要な部分を指摘してくれたので、重要な部分をもう少し抽出することができたし、Existential Typesのようです。私が理解していると、§3.2.10存在する数値の上の存在量が正しくの場合、val m: Map[x.type#S, x.type#S] forSome { val x: T }はval m: Map[t#S, t#S] forSome { type t <: