I'd like to introduce everyone to Mike Thomas (who at this point needs no introduction :-), who has joined the MLton mailing list.