Update TODO by removing multi-instantiated invariant type parameter constraint idea.
Update TODO by removing multi-instantiated invariant type parameter constraint idea.

- This kind of inheritance should actually be possible, because we can say that ImpossibleArray is both an Animal and a Fish array. Whether that type can then implement all the required functions is another question.

marcopennekamp/lore,marcopennekamp/lore