Ознакомиться с контролем типа, и контролем возвращаемого типа. Ознакомиться с понятиями ковариантности и контравариантности