John Cowan <xxxxxx@ccil.org> writes:

| On further reflection and discussion (and some prodding
| from Art), I agree that accessors of a parent type must be
| able to return the payload of a child type, just because
| an object of a child type *is* an object of a parent
| type. I will leave open, ex silentio, the question of
| whether the reverse is true.
|
| Art, please change lines 131-133 from:

I've made the requested change and published the new
version:

  <http://srfi.schemers.org/srfi-137/>

Thanks to everyone for the discussion.

SRFI Editor