higher-rank-types Examples and Free Source Code

Can type classes at the type level be simulated with higher-rank types?...

haskell polymorphism typeclass higher-rank-types adhoc-polymorphism

How to use a Reader type encoded with continuation passing style...

haskell continuation-passing higher-rank-types scott-encoding

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

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

Why can't GHC deduce type equality on a class type family in a Rank 2 type?...

haskell type-constraints type-families higher-rank-types

How to non-impredicatively return `Maybe` a lens?...

haskell lenses higher-rank-types impredicativetypes

Could not deduce (TypeClass a0) arising from a use of ‘variable’...

haskell typeclass higher-rank-types

Pattern matching inferred type...

haskell pattern-matching higher-rank-types

Rank-1 Type requires Rank2Types extension...

haskell types functional-programming higher-rank-types forall

RankNTypes and Church numerals...

haskell types type-theory higher-rank-types

The case of the disappearing constraint: Oddities of a higher-rank type...

haskell types type-constraints higher-rank-types

Is it possible to 'uncurry' a forall quantifier?...

haskell currying type-level-computation data-kinds higher-rank-types

Why are higher rank types so fragile in Haskell...

haskell type-inference higher-rank-types impredicativetypes

Unwrapping the STT monad in a transformer stack?...

haskell polymorphism higher-rank-types

What does the error message "Universe inconsistency" mean when working with higher-rank ty...

idris higher-rank-types

Rank-2 types in data constructors...

gadt higher-rank-types purescript

rankntypes: Illegal polymorphic or qualified type...

haskell higher-rank-types

How does let interact with higher rank types in Haskell?...

haskell let higher-rank-types impredicativetypes

Type error with rank-n types and lenses...

haskell haskell-lens higher-rank-types

RankNTypes and PolyKinds...

haskell polymorphism higher-rank-types polykinds

RankNTypes doesn't match return type...

haskell higher-rank-types

Doing rank-n quantification in Idris...

dependent-type higher-rank-types idris

Why class constraint in type synonym needs RankNTypes...

haskell haskell-lens higher-rank-types

Polymorphic (Generic) Functions as Arguments in C++...

c++generics variadic-templates higher-kinded-types higher-rank-types

Referential transparency with polymorphism in Haskell...

haskell polymorphism referential-transparency higher-rank-types

RankNTypes and pattern matching...

haskell polymorphism higher-rank-types

Encode rank-2 polymorphism equivalent in SML...

haskell sml ml higher-rank-types hindley-milner

"Eta reduce" is not always held in Haskell?...

haskell higher-rank-types

Using a monadic rank-2 type...

haskell higher-rank-types

What do we mean when we say T1 is more polymorphic than T2?...

haskell type-inference higher-rank-types

Is it possible to implement addition on typed Church numerals using iterated incrementation?...

haskell types lambda-calculus higher-rank-types church-encoding