some ditties written in ML