“Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism”github.com/JDemler1 pointjdemler7 years ago