Inheritance F#有没有可能让一个接口实现一个接口？

是否可以这样做：

type face1 = 
    interface
    // ...
    end

type face2 =
    interface
    // ...
    interface face1 with
    // ...
    end

---

这样，接口face2的任何内容也可以被视为face1？

不可能实现接口，但可以让一个接口继承另一个接口：

type face1 = 
    interface
    end

type face2 =
    interface
        inherit face1
    end

这样，除了满足

face2

的要求外，实现者还需要提供

face1

实现