>>895
その場合はタグを付ければ良いんじゃないでしょうか。
演繹的に実装する場合、いずれにせよ何らかのプリミティブに
置き換えられるわけで。