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