Phantom 类型使模式匹配无可辩驳，但这似乎在 do 表示法中不起作用

Question

请看代码。 我相信使用幻像类型会使模式匹配无可辩驳，因此在MonadFail实例中不需要。

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}

{-# OPTIONS_GHC -Wall #-}
{-# OPTIONS_GHC -Wincomplete-uni-patterns #-}

data Type = I | S

data T t where
    TI :: Int -> T 'I
    TS :: String -> T 'S

ti :: T 'I
ti = TI 42

test :: Monad m => m Int 
test = do
    (TI v) <- return ti
    return v

但我收到此错误：

    • Could not deduce (MonadFail m)
        arising from a do statement
        with the failable pattern ‘(TI v)’

这种方法有什么问题？

我用 ghc 9.0.2 和 8.10.4 对此进行了检查。

顺便说一句，即使存在-Wincomplete-uni-patterns选项，在let中匹配它也不会产生任何警告。

Answer 1

你的方法没有错； 它应该像您期望的那样工作。 这是 GHC 中的一个已知错误，它目前没有： 在使用 MonadFailDesugaring 时考虑详尽性检查（#15681）（评论）

在他们修复它之前，您可以通过编写~(TI v) <- return ti而不是(TI v) <- return ti来解决它。