List は use-site variance で covariant にしたら add が消えたりして上手く動くんですけどね。