Small programs in Standard ML