New posts in Algebraic Data Types

How to infer the type of the Scott encoded List constructor?

What are the requirements to prefer CPS over algebraic data types?

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

Are there algebraic data types outside of sum and product?

Surjectivity check when return type is sealed

Java tagged union / sum types

How to decode an ADT with circe without disambiguating objects

Type Constructor as Return Type

What about John Hughes' `foldtree` am I misunderstanding?

Anonymous record type inside discriminated union