Rediscovering SML