Anyone up for writing such a high-quality book as this one on statically-typed languages, Not a book, but maybe "The Essence of ML Type Inference" by Pott

Anyone up for writing such a high-quality book as this one on statically-typed languages, Not a book, but maybe "The Essence of ML Type Inference" by Pottier and Remy [1] is of interest. It's a bit more in-depth than TAPL. [1] gallium.inria.fr/~fpottier/publis/emlti-final.pdf