やりたいことも型合成メインでインスタンスの合成は考えてないですね