You have now succeeded in reminding me why programming in ML makes my head hurt... and why I did so awful in my programming languages class the first time around. (The second time, thankfully, there was a lot less programming in ML and a lot more talk of language theory, which hurts my head much, much less.)