How to install mlton-compiler on Debian 9 (Stretch)