Type Cases O of x => O | O => (S O) end.