来源：https://stackoverflow.com/questions/62747743/in-scala-2-13-how-to-use-implicitlyvalue-singleton-type 标签 scala types implicit subtyping
