>>507
型が指し示すものとか気にする必要ないやろ
集合論で解釈すること前提なら最初から集合論でいいじゃん
この型を持ってる式をこう組み合わせたらこの型の式ができますってルールを集めましたってのをスタート地点にしないとだめだよ