>>797
>普通に考えていずれも型システム全体に影響する話だし、Schemeマクロだと無理だが。

当然知ってると思うけど、CLOSやSOSを見てもそう思うの？