omochimetaru

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

そうだね。戻り値には書けない方が良さそう。