Type Constructor as Return Type...

What GHC/Haskell specification says that free type constructors match rightmost types?...

How to use a type alias to define a type constructor...

Learning the meaning of " :?: " operator in Haskell...

How does the Haskell compiler "know" that IO cannot be unwrapped?...

Julia: Making empty/initialized multidimensional arrays of self defined types...

How to enforce a type constructor parameter for GHCI...

What does the parameters without arrows mean in type constructor?...

How does one statisfy a class constraint in an instance of a class that requires a type constructor ...

Does the Either type constructor contain a phantom type each for the left/right case?...

Overlapping instances of a type class for a constructor...

How to make a Type-constructor part of the Functor typeclass if it has more than one Type-parameter?...

Elm: How to Json decode a Union Type with a single TypeConstructor?...

F# assign (custom) type to a function...

Haskell restricting integer values via enumeration...

Implementing algebraic data types to my compiler...

OCaml - Unbound type constructor...

Scala - how to create a single implicit that can be used for a type constructor...

Applying type constructors to generated type parameters with Scala macros...

Anonymous Type Functions...

What is the difference between Either a and Either Int? What is Either a ? A polymorphic type constr...

How do I use a Haskell type constructor as an enumeration?...

Is it possible to provide a custom pattern decomposition in Haskell?...

Modeling a binary relationship between two types...

Haskell construct a type contains class...

Type Deconstruction...

What does '((->) a)' mean?...

ocaml type constructor arguments...

Why is there a value constructor in addition to the type constructor in Haskell?...