How can covariance in pragmatical class methods be made statically type-safe? Schmolitzky, Axel Evered, Mark Keedy, J. L. Menger, Gisela 1999 - ReposIt