rank-n-types Examples and Free Source Code

Matching higher-kinded types in SYB...

haskell generic-programming scrap-your-boilerplate rank-n-types

Why is impredicative polymorphism allowed only for functions in Haskell?...

haskell polymorphism rank-n-types impredicativetypes

A map of polymorphic values in Haskell...

haskell polymorphism typeclass rank-n-types

mapping over RankNTypes functions...

haskell rank-n-types

Enforce a typeclass constraint on an existing datatype...

haskell gadt singleton-type reification rank-n-types

Type variable introduction for existential types...

haskell existential-type quantifiers rank-n-types

Is this type a valid "rank-2 bifunctor"?...

haskell functor rank-n-types bifunctor

Is there a way to pass an operator with unknown type in haskell?...

haskell types polymorphism parametric-polymorphism rank-n-types

How to apply a polymorphic function to both sides of an Either?...

haskell polymorphism rank-n-types

Unification of higher rank types on contravariant positions...

haskell types polymorphism type-theory rank-n-types

ST-like encapsulation...

haskell polymorphism encapsulation phantom-types rank-n-types

Specifying a dependent type via type family in a GADT data constructor...

haskell gadt type-families data-kinds rank-n-types

Is posible to create an infinite wrapper in Haskell with Rank N types?...

haskell rank-n-types

How to use Data.Data?...

haskell scrap-your-boilerplate rank-n-types

Understanding Haskell RankNTypes Error message...

haskell typechecking rank-n-types

GHC fails to bind polymorphic function without monomorphising it...

haskell rank-n-types

let doesn't work when used with -XRankNTypes...

haskell let rank-n-types

Puzzling performance/output behavior with rank-2 polymorphism in Haskell...

performance haskell polymorphism rank-n-types

Generalizing from a specific type to a class in a GADT...

haskell gadt rank-n-types

Why are explicit forall quantifiers necessary for rank-n types?...

haskell types higher-rank-types rank-n-types scott-encoding

How can I pass a monadic function as an argument with a flexible type variable?...

haskell monads typeclass rank-n-types

What happens with universal quantifications and typeclass constraints when composing functions?...

haskell lenses rank-n-types

How to properly match types when using Numeric.AD in Haskell?...

haskell forall automatic-differentiation rank-n-types

RankNTypes in haskell. List comprehension works but map does not...

haskell ghc ghci rank-n-types

Disallow assignment of values...

haskell purescript unification impredicativetypes rank-n-types

Function composition and forall'ed types...

haskell rank-n-types

Mapping over constrained existentially qualified higher order type...

haskell higher-kinded-types higher-order-types rank-n-types

Rank 3 Types function example...

haskell rank-n-types