Hi,

Maybe I'm missing/misunderstanding the purpose of this SRFI, but what's the
point to have this? I don't see the reason why not SRFI-9/R6RS/R7RS records
as minimal disjoint type. Maybe not R6RS record since it has introspection.
(Though, you just need to specify opaque #f.)

Apart from above:

- Can this SRFI make container like pair/vector without using pair/vector?
- What's the reason of returning make-subtype? To me, it's not minimal.
  You can build type system which has subtype on top of single type.
  (c.f. sample implementation of R6RS record)
- Is this also intended to be a part of R7RS-large?

Cheers,

--
_/_/
Takashi Kato
E-mail: ktakashi19@gmail.com