シェイプレスzipWithKeys：暗黙のパラメータを見つけることができませんでした

Question

最近シェイプレスで遊んでいます。私の周り私の頭をラップすることはできません。この非常に基本的な事があります：

import shapeless._ 
import syntax.singleton._ 
import record._ 

object NotWorking { 
    val result = ("value" :: HNil).zipWithKeys("key" :: HNil) 
} 

私は出力に拡張可能なレコードのこのスニペットを期待しています。しかし、コンパイラはwithKeysのための暗黙のを見つけることができません：

could not find implicit value for parameter withKeys: shapeless.ops.hlist.ZipWithKeys[shapeless.::[String,shapeless.HNil],shapeless.::[String,shapeless.HNil]] 
[error]  ("value" :: HNil).zipWithKeys("key" :: HNil) 

それがさらに混乱、私はフォーム型崩れのテストケースを取った例としてですが完璧に動作します：私は何をしないのです

import shapeless._ 
import syntax.singleton._ 
import record._ 

object ShamelesslyStolenFromTests { 
    val orig = 
    ("intField" ->> 1) :: 
    ("boolField" ->> true) :: 
    HNil 

    val result = orig.values.zipWithKeys(orig.keys) 
} 

？

Answer 1

次のコードはコンパイルされます。

import shapeless._ 
    import syntax.singleton._ 
    import record._ 

    object FinallyWorking { 
    val result = ("value" :: HNil).zipWithKeys[Witness.`"key"`.T :: HNil]("key".narrow :: HNil) 
    } 

だから、これはメソッドの型パラメータの型推論の問題だったようです。