Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Set existential quantification working
trait Id[E]
class C[TC[_[_]]] {
val d: Set[Id[I] forSome { type I }] = ???
d.contains((???): Id[TC[Id]])
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.