Text this: Commentary on Standard ML /