inoutのように引数でしか使えない型(型modifier)のような感じで変数宣言だけでしか使えない型としてそういう制約を入れるという形なら辻褄は取れるかも？