How to avoid SML datatype repetition in structures and signatures?...

Introducing shape data type in Haskell...

Return an infinite tree consisting of only nodes in Haskell...

How to build an inductive type for cobordisms using Coq?...

In Agda is it possible to define a datatype that has equations?...

How to implement custom ordering for data types in Haskell?...

Single Constructor Algebraic Data Type: what does it mean?...

Using Free with a non-functor in Scalaz...

Handling records with shared substructure in Elm...

Is there such as thing as "type extensions" in Haskell?...

Why in algebraic data types, if I can define a special `from` and `to` function for two types, the t...

How to write a "from" and "to" function for "Add Void a === a"?...

Is there a way in Haskell to express a point free function to edit the property of a data type?...

Counting of algebraic data types...

OCaml typesystem unintended nesting...

A more succinct way to map functions onto fields of an algebraic datatype?...

GADTs: Difference between 'Algebraic' and 'Abstract'?...

Recursive algebraic data types via polymorphism in Haskell...

Constructive solid Geometry in functional programming...

Haskell Linked List Algebraic Datatype...

Haskell: convert `type` to `data` statement...

Create algebraic data type case class from a string...

Finding the value of a node in a Haskell tree...

"Composite" algebraic data types in Scala and Haskell...

Redundant information in zipper data type in Data.Tree.Zipper?...

Does OCaml have record syntax in disjoint unions?...

Where did defadt go in new clojure contrib?...

How do you formulate n-ary product and sum types in this typed lambda calculus universe?...

Scala Algebraic Data Types for file extension to format mapping...

Pattern matching against value constructors in type variables / some sort of flexible function-polym...