Two functions compile with type annotations. Remove one annotation - doesn't compile. Remove two...

Is it actually possible to remove "Pi" from Calculus of Constructions?...

What are cumulative universes and `* : *`?...

Named and Unnamed Types...

Does Dart support constructs typically precluded by Optional Typing?...

Why does this function take an [[a]]?...

Haskell: Specifying equal-length constraints of lists in the type system...

Using "type" for a type synonym causes memory leak?...

Extending an existing type in OCaml...

From Static Typing to Dynamic Typing...

Why "Towers of Hanoi" is not working under scala 2.11.4?...

Is there a class that automatically converts .NET framework types to PostgreSQL types?...

Unwrap type variables...

Define a type constraint with abstract type...

Difference between Scala's existential types and Java's wildcard by example?...

Why's type lattice in Scala?...

Composing type-level functions with implicit witnesses...

How to create a factory for a parameterized class?...

Haskell converting [Char] to Char...

Why can't I remove the Ord Typeclass from this haskell implementation of Kadane's algorithm?...

How does the Scala type system know that cons + Nil is exhaustive?...

Scala Option type upper bound don't understand...

Disadvantages of Scala type system versus Haskell?...

The nature of Haskell type system: static/dynamic, manual/inferred?...

Are Rank2Types/RankNTypes practical without polytype variables?...

'Missing'(?) feature in programming languages?...

Why are Haskell algebraic data types "closed"?...

Haskell MultiParamTypeClasses and UndecidableInstances...

How can I compose generic methods in Scala?...

Guessing the correct instance of Num from the context...