Java tagged union / sum types...

How can I see the full expanded contract of a Typescript type?...

What is Some in OCaml...

Scala 3, ADTs, combining elements in a collection...

How to list all values of sum type in Haskell...

Haskell Error: Expected kind ‘* -> *’, but ‘Movie’ has kind ‘*’...

How to check for exhaustiveness of product types in TypeScript?...

How can I create a union type that can also be used to instantiate union members in Python?...

z3py: How to prevent accessor call on custom data type when a differen constructor is used?...

How to correctly implement a polymorphic functional Tree data structure in Scala?...

Algebraic Types - Haskell...

How to make the subclass arguments available in the abstract class for pattern matching in scala?...

scala Does match end in Nil?...

What is the difference between `'a.` and `type a.` and when to use each?...

Typing based on subsets of unions in TypeScript...

Elegant way to do associated "data items"...

Access values from top level model...

Algebraic data type list into an actual list...

Calculate Price of items in a list...

Use one recursive case class constructor in two sealed traits...

scala3: Methods on enum case, possible?...

Scala Some redundant covariance...

How do you emulate ADTs and pattern matching in TypeScript?...

Defining non-Int constants in Haskell within an ADT...

Ordered variant types in OCaml...

Is there a type-mismatch mistake in John Hughes's definition of foldtree?...

Are there algebraic data types outside of sum and product?...

Why does refactoring data to newtype speed up my haskell program?...

Why can't python sum properly?...

Indexed Initial algebras for GADTs...