そうそう。そもそもさ、今の一般的な概念じゃ、型と値は当たり前のように分離してる。
これを一つ統合してやれば違うあり方が見えてくるんじゃないか。