New draft on SML for Haskellers