multiple declaration errors of algebraic data type...

haskell sum type multiple declaration error...

In computer terminology, what is a "non-directory" called?...

Extending algebraic data type...

How to convert the Scala case class definition to Haskell?...

How to serialise Haskell ADTs as tidy JSON, using Aeson?...

type modelling in ocaml...

Building proper tree...

Mutually recursive datatypes...

Getting NaN for a double datatype...

Haskell Lambda fold...

How to write a type that is isomorphic to Tree without nested lists?...

Algebraic data types outside of functional languages?...

How do you represent nested types using the Scott Encoding?...

How to define Eq instance of List without GADTs or Datatype Contexts...

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

How to control the inferred type for bound variables in pattern matching in the presence of higher-k...

Mutually recursive types in OCaml...

Syntax Error in Pattern Matching on Algebraic Data Type...

Combined type = one, the other, or both?...

Flatten a tree (nested list) up to a certain depth...

Why does concatenation of lists take O(n)?...

algebraic implementation of $.when in Pacta.js...

Can you do pattern matching on the type-level in Haskell?...

Serialization formats that support tagged unions...

Haskell - Functor instance for generic polymorphic Algebraic Data Types using recursion-schemes...

Functor instance for a simple algebraic data type...

Idris vectors vs linked lists...

Idris case/induction tactics...

What is the difference between value constructors and tuples?...