在编程中使用更具体的参数进行子类型化

Question

假设我们有A' :< A和B :< B'，其中:<的意思是A'比A更具体。子类型化规则表示，满足这些条件后，我们得出A -> B :< A' -> B'的结论。很好

但是，当我们采用更具体的论证而不是更笼统的论证时，即以下内容是否成立A' -> B :< A -> B'呢？如果是，我在哪里可以了解更多信息？认为可以接受更具体的参数并以更通用的子类型结束是有道理的。谢谢您的帮助！