I'm toying with a native implementation for Chibi, and I can

simplify things by making all uniform vectors derive from the

same type with a tag for the element type.

Given that in the current R7RS there is no notion of type

beyond type predicates, this implementation-strategy would

be allowed, but it may leak with future extensions.

Would it be reasonable to say that the types are disjoint from

all other types except possibly each other?

--

Alex