title: SML: difference between type and datatype
body: <p>I'm pretty new at SML and I would like to make sure I really know the basics. What is the difference between type and datatype in SML, and when to use which?</p>