>>13
それ以前に、もちろん一般論ではあるが、その「＊＊を表すステートメント」であることを
本当に名前で表現する必要があるのかを再考すべきだと思うけどね。

型で表現すれば十分じゃないの？