Standard ML related domains (1)