Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" - View it on GitHub