A "what I can squeeze" out of type inference with type-in-type, RankN and impredicativity.
Primary LanguageHaskell
No issues in this repository yet.