According to mypy the previous annotation violated the LSP. Therefore, we use the types of the supertype method and check for correct types in the method.
