Working with Standard ML