Polymorphic scala return type in recursive functions...

How to trick Scala to not find duplicate implicits for Nothing...

Conjunctive types in C#...

Best way to check if System.Type is a descendant of a given class...

Extending a generic type...

What is a type and effect system?...

Case between two unrelated types in Haskell...

Generalized type-defaulting rules...

What are union types and intersection types?...

How to make catamorphisms work with parameterized/indexed types?...

Scala: higher-kinded types, type projections and type mismatch error...

Scala: Higher-kinded type as a type parameter...

How is the syntax of type systems read?...

Scala: Ordering contravariance...

Scoped type variables require explicit foralls. Why?...

Haskell existential quantification in detail...

Understanding Polytypes in Hindley-Milner Type Inference...

Why can I not make String an instance of a typeclass?...

Scala - Enforcing size of Vector at compile time...

Scala - a type-parametrized trait method returning a type-parametrized object - how to implement?...

Disallow mix of specific traits...

Scala - return a type...

Functions don't just have types: They ARE Types. And Kinds. And Sorts. Help put a blown mind bac...

How to handle a collection of Foo<T>, where T can be different for each item?...

Web framework with static checking...

Scala - match a passed parameter against a passed type parameter in a recursive function...

Why does dialyzer find my type specification invalid?...

Scala and Polytypic container...

Haskell-like type system in C...

Programmatic type annotations in Haskell...