typeerasure作ってAConvertibleとBConvertible作るしか無いか…