たるのんのさっきの gist やっと理解した

3:54 AM

いわゆるAnySequence<T> みたいなType Erasureを作るときに、AnySequence(cats) ってやると AnySequence<Cat> ができるけど、これの左辺をAnySequence<Animal> で受けたいってことねで、このパターンだと DogとDogAを足したときに、何も書き足さずに同じ仕組みでそれができると