Ocaml disambiguates inferred types by their proximity to the value?...

Haskell: Understanding algebraic data types better...

Memory footprint of Haskell data types...

Pattern matching on algebraic data types...

Unable to deconstruct product type after simplifying in OCaml...

Error: No instance for (Num Price) arising from the literal...

Circe: decode multi-level ADT efficiently...

Algebraic data types in TypeScript...

Can I include data declaration to another data?...

Retaining list-ness operations for a data type...

How to design for extension using records...

Tagged unions in closure compiler...

Difficulties in understanding algebraic data type...

Type casting when working with nested data structures...

Erroneous Scala code using polymorphic ADT type checks...

Haskell - Algebraic data types that use recursion?...

How to instantiate a generic record with explicit type parameters?...

How to get rid of braces in boolean expressions with AND and OR...

How do you represent a graph in Haskell?...

Cannot define recursive type with Array in Z3...

How to store a polymorphic function in a data type...

Constructing Haskell data types with many fields...

Automatically deriving type class constraints using GADTs...

Racket: define-type reference...

How do the native JavaScript types get written in Elm?...

Haskell foldr algrebraic datatypes...

Haskell fmap foldr for algebraic datastructures...

Haskell fmap functor...

Record syntax and sum types...

Case classes match on type...