A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism - View it on GitHub