What is the scope of a type variable brought into existence by pattern matching on SomeNat?...

RPC (Or: How do I disambiguate function application based on TypeRep values?)...

Java Generic Type Converted to Scala does not accept super class itself...

Two related existential type parameters...

Existential types for inline record constructors with constraints...

When to use existential type vs. dependent pair in Haskell?...

Scala lists with existential types: `map{ case t => ... }` works, `map{ t => ... }` doesn'...

Mapping over a list of existential types...

Swift 3: Is there a way to cast an object to a class and protocol at the same time?...

Compilation issue in Scala with F-bounded types and existential types...

Instance for existential wrapper with a variable in contravariant position...

Correlate two type parameters...

Is this use of GADTs fully equivalent to existential types?...

Defining decidable equality for dependent pair in Agda...

Existential Higher Kinded Method Parameter...

How to extend ghc-typelits-natnormalise to check relationships between universally and existentially...

OCaml: recursion with first-class modules and existential type...

Where is the scaladoc for scala.language.existentials?...

How to abstract constraints in function with Rank-2 type?...

Why scala does not unify this type lambda with underlying type?...

Why doesn't subtyping via existentials and constraints work?...

Match on existentially hidden type index...

How can the lack of return type polymorphism in untyped languages be alleviated?...

Types constructors and existential types...

How to express this existential type from Haskell in Scala?...

How to properly define existential for a f-bound polymorphic type...

Why does scala require existential types to restrict a generic bound?...

Could not deduce KnownNat in two existentials with respect to the singletons library...

Retrieving information from DataKinds constrained existential types...

What is and when to use Scala's forSome keyword?...