シングルトンを持つStringを返す関数を宣伝するにはどうすればよいですか？ LTS-9.2（およびシングルトン-2.1）でスタックを使用

Question

、私はこれを有する：私はこの機能を型シグネチャを与えることができないと推測された型シグネチャがcn :: IsString t => EventScans -> tある

$(singletons [d| 
     data EventScans 
     = PassThrough 
     | SuiteProgress 

     -- cn :: EventScans -> [Char] 
     cn PassThrough = "all-events" 
     cn SuiteProgress = "suite-progress" 
    |]) 

を。 AFAIK IsStringは、単一化しません。

cnにタイプシグネチャがないと、期待通りにCnタイプのファミリーが得られます。タイプシグネチャを追加しようとすると、次のようになります。

* Expected kind `[Char]', but `"all-events"' has kind `Symbol' 
* In the type `"all-events"' 
    In the type family declaration for `Cn' (haskell-stack-ghc) 

これは正しい方法はありますか？

編集私は型シグネチャcn :: IsString t => EventScans -> tを含めるようにしようと、私は次のエラーを取得する：

Variable `a_agPb' used as both a kind and a type 
Did you intend to use TypeInType? (haskell-stack-ghc) 
Not in scope: type constructor or class `SIsString' 
    Perhaps you meant `IsString' (imported from Data.String) (haskell-stack-ghc) 

Answer 1

IsStringはまだsingletonizeていないので、私は、これは約来ている、githubの上で開か関連の問題から。詳細は、https://github.com/goldfirere/singletons/issues/267を参照してください。