Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!pasteur!ames!haven!uvaarpa!virginia!uvacs!mac
From: mac@uvacs.cs.Virginia.EDU (Alex Colvin)
Newsgroups: comp.lang.scheme
Subject: unspecification
Summary: unspecified /= unspecified
Message-ID: <143@uvacs.cs.Virginia.EDU>
Date: 2 Jun 89 14:39:28 GMT
References: <8905250045.aa22349@mintaka.lcs.mit.edu> <8905250927.AA29776@polya.Stanford.EDU>
Organization: University of Virginia
Lines: 5

If you must always return the same unspecified object, then it's been
specified.  If you really want #unspecified, then you should also permit
(not (eq? #unspecified #unspecified)).

As for unit domains, isn't () one?