After some help from Thierry Thomas, one of the FreeBSD maintainers, MLton is now officially available as a FreeBSD port. http://www.freebsd.org/cgi/ports.cgi?query=mlton&stype=all