type erasureいらないのたすかる