On Wednesday, 4 December 2019 at 23:35:09 UTC, Ola Fosheim Grøstad wrote: > Like, the other day I got confused by the usage of the term > "covariant" in In that context, if you replace "covariant with" with "can act as a substitute for" it would work pretty well.