scala - HList のマップは、Scala および Shapeless のジェネリック型のサブタイプで失敗します

Question

次のクラスといくつかの値があるとします (Scala で):

class A[T](val x: T)
class B[T](x: T, val y: T) extends A[T](x)

val x1 = new A("test")
val x2 = new B(1,2)
val x3 = new B("foo","bar")
val x4 = new A(1)

さらに、次の多相関数値を定義します (shapeless を使用)。

object f extends (A ~> Option) {
  def apply[T](s: A[T]) = Some(s.x)
}

これで、次のように呼び出すことができます。

f(x1); f(x2); f(x3); f(x4)

これはすべて成功します（そして私見です）。でも：

val list = x1 :: x2 :: x3 :: x4 :: HNil
list.map(f)

// could not find implicit value for parameter mapper:
// shapeless.Mapper[f.type,shapeless.::[A[String],shapeless.::[
//   B[Int],shapeless.::[B[String],shapeless.::[A[Int],shapeless.HNil]]]]]

私が期待していた場所：

Some("test") :: Some(1) :: Some("foo") :: Some(1) :: HNil

これが機能することに注意してください：

val list2 = x1 :: x4 :: HNil // only instances of A
list2.map(f)

アップデート

それぞれのケースを個別に指定すれば問題ないようです。

object f extends Poly1 {
  implicit def caseA[T] = at[A[T]]{s => Some(s.x)}
  implicit def caseB[T] = at[B[T]]{s => Some(s.x)}
}

ただし、これを少し賢く表現しようとしてもうまくいきません (単純なアプリケーションでも):

object f extends Poly1 {
  implicit def caseA[T, S <: A[T]] = at[S]{s => Some(s.x)}
}