info about co-variant ret types