> > (quote (quote (quote (quote a)))) > > From a teaching standpoint, the latter is preferable. Is there any way to > tweak DrScheme's display so that it outputs the latter form? > > Mike C+l details check constructor type printing Hope this helps. --kyle