How to create ADT in Haskell?...

How do you extract the value from multiple variants of a custom type?...

How do I unwrap a generic type alias from a union type which makes the type alias more specific?...

Is there a less verbose way to unwrap a type with only a single tag?...

Fmap over a list containing single elements and lists...

How is polymorphic comparison defined on ADTs?...

Unable to match a parameterized type with a concrete type after pattern-matching...

Modifying immutable substructures...

Resolving readEither on ADT...

Error converting data type nvarchar to numeric. Tried convert and replace...

Laziness/strictness between data and newtype...

How Can I Restrict the Usage of an F# Union Type to A Particular Option...

Int of Int in Ocaml types...

Unsure how to use a given data type...

Is the concept of Algebraic Data Type akin to Class definitions in OO languages?...

Traversable in Haskell...

Why can I use Maybe with record syntax, but not regular ADT syntax?...

Please confirm or correct my "English interpretation" of this Haskell code snippet...

How to concisely unwrap an algebraic data type in OCaml?...

Haskell Map Function for Algebraic Data types...

Can I use == and /= without using Eq?...

Why can't i re-use same value constructor among different data types?...

Storing type fields in a list...

Haskell Data Types...

Complexity of linked-lists concatenation...

Is there a Haskell equivalent of OOP's abstract classes, using algebraic data types or polymorph...

Error when accessing specific ADT...

Haskell record pattern matching...

Non-positive occurrence due to polymorphic function...

Creating a rectangle? - Haskell...