haskell ADT choosing the right type...

Interpreting ASTs in Python 3.6: isinstance vs. monkey-patching vs. visit_NodeType vs. macros?...

Why does a sum-type of `a` containing a list constructor not match a list of `a`?...

Pattern matching tagged union types...

Avoid tedious implementation of Ord...

Pattern-matching the nested union types...

Container Algebraic Data Type in Scala...

What type of algebraic data type is Option[T] or Optional<T>...

Invalid data type...

Scala ADT Type Mismatch...

Why are sum types called sum types?...

Haskell Cyclic Ord Relationship...

Why does a function constructed with pattern matching have the Eq type constraint but not when using...

Clojure algebraic data types...

Will the var members in case class affect case class's equality?...

Declare tuples in binary trees in OCaml...

OCaml not accepting type constructor for binary tree...

User defined variables wont recognize that its own type list IS the type...

Mathematical equation with mixed data types in java...

Align polymorphic variant types between calling function and callback...

Initial algebra for rose trees...

Reason for [typof T] in generics having different semantics that a hard coded type?...

Local data type definitions...

C++ equivalent of algebraic datatype?...

Haskell nested algebraic data type...

Should Maybe's be used to hold error messages?...

Haskell's algebraic data types...

Definition of List in Agda...

assertions on inductive data types in CVC4...

recursive datatypes in haskell...