抽象的に書きたいっていうのと、具体的な型を書き下さないとオーバーヘッドが産まれる、っていう２つの矛盾する要求を解消するために