Indexed Initial algebras for GADTs...

Scala context bounds in generalized algebraic datatype...

Why does Option<NonZeroU32> not require using explicit Some?...

What is the DataKinds extension of Haskell?...

Are Haskell data types with only nullary or unary constructors considered as Algebraic Data Types?...

Comparing values by their constructors...

What's the right way to use type aliases in Haskell...

Convert Sum Type to Phantom Type via Type Classes...

Kotlin and discriminated unions (sum types)...

Create class and represent it without quotation marks...

How to represent this FSM in GADT...

datatype and type in SML not working as intended...

How to create the instance for my own type?...

Generic Pattern in Haskell...

Middleware monad?...

Sum types whose constituents can also be used on their own...

How to convert a custom type to an Integer in Haskell?...

Stream data type implementation in Haskell...

Why do I need to call the constructor again in the definition of fmap even when I don't apply th...

How do you destructure values in a let binding using algebraic racket...

Is a Haskell type constructor 'just' a function?...

How can you create a list comprising of calculations on each item of another list in Haskell?...

How can I zip a list over another list that is nested in Haskell?...

How to fix this Haskell lookup function type mismatch?...

Sum type with HashMap...

Encoding Algebraic Data Types with Aeson in Haskell...

Creating recursive enum -- should I use lifetime references? (Rust)...

Why is Haskell lookup function causing Non-Exhaustive pattern error on custom data type?...

Sum Types vs. Type Classes vs. Records...

How do I correctly implement an instance Eq for a data type with constructors?...