``NS''类型的案例匹配

Question

从sop-core键入型号，创建一个有趣的难题。在s :: ns f xs - ＆gt; ns f（x'：xs）其中xs〜'[]是指s的参数是居住的。然而，哈斯克尔的案件匹配迫使我对此进行匹配。这个问题有解决方案吗？

type T = NS I '[Int, String]

matchT :: T -> String
matchT = \case
  Z (I n) -> show n
  S (Z (I s)) -> s
  S (S _) -> error "FIXME" -- not reachable

如果您删除了最后一个情况（实际上不必必要），Haskell抱怨“模式匹配（ES）是无节制的”。

Answer 1

使用 emptroy> emptroy> emptycoper ！

matchT :: T -> String
matchT = \case
  Z (I n) -> show n
  S (Z (I s)) -> s
  S (S impossible) -> case impossible of {}