Just a heads up: I've fixed the searchable MLton email archive http://terpstra.ca/lurker/list/mlton.en.html Sorry about that; it got broken when changing servers.