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. Please consider using
instead.