Explaining higher-rank and impredicative polymorphism, simply
From insights gained writing a type checker
Sun, 20 Aug 2023
It looks like you're visiting with Chromium.
Consider using
instead.