New posts in Higher Rank Types

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

How do I return an associated type from a higher-ranked trait bound trait?

Juggling existentials without unsafeCoerce

What is "n" in RankNTypes

What is the purpose of Rank2Types?