从LabelledGeneric派生协议规范

Question

给出

sealed trait A
case class Foo(i: Int) extends A
case class Bar(s: String) extends A

sealed trait B
case class B1(a: A) extends B
case class B2(bs: String) extends B

LabelledGeneric[B]

是否可以为您喜欢的json lib生成的json派生规范？我想使用所述规范生成Elm源代码。