Как я могу написать рекурсивную функцию полиморфной с бесформенными

Question

Я могу написать простые рекурсивные полиморфные функции:

object simpleRec extends Poly1 { 
    implicit def caseInt = at[Int](identity) 
    implicit def caseList[A, B](implicit ev: simpleRec.Case.Aux[A, B]) = 
    at[List[A]](_.headOption.map(simpleRec)) 
} 

Это, кажется, в значительной степени сделать то, что я хочу; Однако, я, кажется, становится бессмысленным тип результата:

scala> simpleRec(List.empty[List[Int]]) 
res3: Option[B] = None 

scala> simpleRec(List(List(1))) 
res4: Option[B] = Some(Some(1)) 

Как я могу сделать это дать мне значения Option[Option[Int]], а не Option[B]? Я ожидаю, что я совершу глупую ошибку здесь, но не могу понять, что это такое.

Answer 1

Это, вероятно, была ошибка, следующий код работает, как ожидалось:

object simpleRec extends Poly1 { 
    implicit def caseInt = at[Int](identity) 
    implicit def caseList[A](implicit ev: simpleRec.Case[A]) = 
    at[List[A]](_.headOption.map(simpleRec)) 
} 

Использование shapeless_2.11-2.0.0