これって const の場合と違って、型ごと CostoPo を満たさないといけないの微妙そう。