>>217
それはどうかな。
C++11 を見ればそのあたりの区別を考察してしまったがために更に区別が必要になって複雑なことになってるぞ。

Scheme はお前の望む形にちょっと近いかも。