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