相关疑难解决方法(0)

以下代码无法编译.

type A(?arg) =
  member __.Arg : string option = arg

type B(?arg) =
  inherit A(arg) //ERROR expected type string but has type 'a option

我假设这是因为必须提供选项的基础类型的实例,并且编译器处理传递Some/ None基于语法.

假设我的假设已被正确假设,是否有解决方法？是否可以传播可选参数？