何のための不完全型かと
型の中身を意識する必要はない
リンケージなんか関係ない