一つだけ type erasure 作ってなんとかならないかな？さっきの Reference と同じように。後は使いやすいシュガーがあれば。