緩くしちゃいけない理由がないから
C#だとバージョン管理上の理由で逆に厳しくできて緩くはできなかったりするけどね
厳しくしてもスーパークラスの型にキャストすれば呼べるからポリモーフィズムが使えなくなったりはしない