Liskov: Parameter types matching or more abstract

[ResponsiblyUnranked]

Parameter types should match or be more abstract than parameter types in the superclass method:

• You shouldn’t make the parameter type more specific, or narrow it down further, it should be equal or more generic