在Dotty Scala中访问嵌套类型参数

Question

我想用新的Scala Dotty编译器做一些类似的事情：

trait Monad[M[A]] (underlyingValue:A) {
  def bind[A, B](f: A => M[B]): M[B]
}

或者至少

class Monad[M[A]] (underlyingValue:A) {
  def bind[A, B](f: A => M[B]): M[B]
}

但是编译器抱怨没有找到:类型A

有什么方法可以访问类型参数的类型参数吗？或者是一些最终结果相同但执行方式不同的东西？

我知道您可以创建像这样的Monad：https://dotty.epfl.ch/docs/reference/contextual/type-classes.html，但是拥有Monad类将允许我在定义它的相同位置声明一个类为Monad，而且对我的风格也更有意义。

有什么方法可以做到这一点吗？

Answer 1

值得一提的是，下面的解决方案满足了我心中的标准：

trait Monad[F[_], A](underlyingValue: A) {

  def flatMap[B](f: A => F[B]):F[B]

}

用法如下所示：

class Opt[A](underlyingValue: A) extends Monad[Opt, A](underlyingValue: A) {
   def flatMap[B](f: A => Opt[B]):Opt[B] = {
     ...
   }
} 

虽然它确实需要两个类型参数，但类型参数"A“不会重复两次，因此没有逻辑复制。