如何推廣一個函數，它返回一個字符串與單身？

Question

與LTS-9.2（及單身-2.1）使用堆棧，我有這樣的：

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

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

我不能給這個函數類型簽名並推斷出的類型簽名是cn :: IsString t => EventScans -> t。 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

從相關的問題我在github上開了，這是未來的約，因爲IsString不singletonize呢。詳情請參閱https://github.com/goldfirere/singletons/issues/267。