共変か反変かっていうのを概念として直接はかけないけど、代入可能かを静的に判定できるので、まあできる