<gh_stars>0
from typing import List

from e09covariance.common import Animal, Cat


def animal_names(animals: List[Animal]) -> List[str]:
    return [animal.name for animal in animals]


cats: List[Cat] = [Cat("Rocky"), Cat("Teddy")]
animal_names(cats)

from typing import List

from e09covariance.common import Animal, Cat


def animal_names(animals: List[Animal]) -> List[str]:
    return [animal.name for animal in animals]


cats: List[Cat] = [Cat("Rocky"), Cat("Teddy")]
animal_names(cats)