C++erからすればの話で。型に対する要求を型で表現するとは愚かしい。どれぐらい愚かしいかはD&Eに書いてある。さぁ買ってきて読むんだ。

そういや昔俺も自転車どうしで正面衝突してダイブした。確かあのときはハンドルを乗り越えて前に吹っ飛んで、仰向けだか俯せだか忘れたが、胴体着陸した直後に上から自転車が降ってきたっけな。あとガードレールに気付かずに歩道側に入りきれなくて衝突とか…