A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference - View it on GitHub