On Wed, 29 Nov 2006, William D Clinger wrote: > ... the reference implementation > of arithmetic will be invoked twice, making some of their > fundamental types incompatible. Would the fundamental types not be more naturally non-generative, or am I missing some aspect of generativity? Cheers Andre