>>790
じゃあ、やってみなされ。実際に型付きSchemeの処理系あるんだから、マクロ使ってそれをちょっと拡張するくらい
簡単なことでしょ？まあ、普通に考えていずれも型システム全体に影響する話だし、Schemeマクロだと無理だが。