オーバーロードはintersection typeをもつ一つの型とはみなさないのが良さそう fの代入文がエラー