Shapeless and gremlin scala: How do I return the result of a call to `as`?
问题 So, I am calling this function as (from gremlin-scala ): case class GremlinScala[End, Labels <: HList](traversal: GraphTraversal[_, End]) { def as(name: String, moreNames: String*)(implicit p: Prepend[Labels, End :: HNil]) = GremlinScala[End, p.Out](traversal.as(name, moreNames: _*)) } It is defined here: https://github.com/mpollmeier/gremlin-scala/blob/master/gremlin-scala/src/main/scala/gremlin/scala/GremlinScala.scala#L239 It takes an implicit Prepend argument, which I am not sure I