Existential types in Haskell and generics in other languages...

Understanding the use of path dependent types to emulate existentially quantified types...

Using GADTs with DataKinds for type level data constructor constraints in functions...

Does GHC use dynamic dispatch with existential types?...

underscore for generic type argument produces compile error in Scala?...

Relation between Existential Container and struct instance which conform protocol...

generics-sop: lifting a polymorphic action into a product...

How do existential types overlap with path-dependent types?...

Type variable introduction for existential types...

Existential data types with a single strict field...

Compilation issue with existential types in Haskell...

Is there any way to map over a collection of values of a type parameterized with a higher type?...

Why is `[1, "a"] :: [forall a. Show a => a]` not allowed?...

Aux-pattern usage compiles without inferring an appropriate type...

Extending a class with a type constructor...

Scala list of any and list of something extending Any. What is a difference?...

Scala Existential type weird behavior...

Rules for underscore usage in Higher Kinded Type parameters...

How can I resolve type error on compile: Any to T?...

Understanding parameter types during multidimensional array creation...

Scala case class copy doesn't always work with `_` existential type...

Data.Typeable.cast to an existential type...

Can I express a subclassing constraint?...

Unwrapping an existentially quantified GADT...

Difference between an undefined abstract type member and an existential type...

Why is pattern match needed to preserve existential type information?...

Why does usage of Foo[T <: Bar] require Foo[_ <: Bar] rather than Foo[_]...

Scala wildcard for recursive generic definition...

Scala inheritance from Java class with generic types in constructor...

Understanding type arguments do not conform to class type parameter bounds error when using Higher k...