A handful of potentially useful crap for Standard ML