让我们戏剧性地简化这个问题。这是你问题的核心：我可以实现desired吗？

desired :: (String -> Bool) -> Bool
desired f = case f of
    (_ -> True ) -> True
    (_ -> False) -> False

字符串
希望所有的谷壳都被筛掉，很明显，这是不可能做到的：关于f是否返回True或False，不一定存在事实。它返回的值可以取决于你传递给它的输入！

据我所知，你想用这种模式表达什么

case resolved of
    ((InputToBeAddedLater _) -> (IsBool bool)) -> ...

字符串
是检查resolved是否返回 * 任何输入 * 与外部构造函数IsBool的东西。即是否为

resolved (InputToBeAddedLater i) = IsBool (...)

型
由于非严格性，您至少可以 * 验证 *，而无需提供具体的i：

case resolved (InputToBeAddedLater undefined) of
    (IsBool bool) -> Right bool
    (ReturnsExpFunc _ _) -> Left Can'tResolveToBool

型
这样做的问题是，如果resolved在提供外部构造函数之前实际计算了它的参数，那么它就会崩溃，例如

resolved (InputToBeAddedLater "") = IsBool False
resolved (InputToBeAddedLater s) = ReturnsExpFunc "" (IsBool True)

型
您现在可以在此基础上添加一些错误捕获机制，但这只能在IO中完成，而且无论如何都是很麻烦的。
实际上，我认为这是一个XY问题，实际上应该做的是给予resolved一种方法，在没有任何输入的情况下通知其结果的外部构造函数。这可以通过泛化Exp来实现，因此它 * 包含 * InputToBeAddedLater，但只有在揭示最外面的构造函数之后：

data ExpH m a
  = ReturnsBoolFunc (m (String, Exp a))
  | IsBool (m Bool)
  | ReturnsExpFunc (m (String, Exp a))

type Exp = ExpH Identity

resolveToExp :: String -> Exp a -> ExpH ((->) InputToBeAddedLater) a
resolveToExp funcName arg
    | funcName == "patently_false" = IsBool (const False)

resolveToBool :: Exp a -> Either MyException Bool
resolveToBool (ReturnsBoolFunc funcName (Identity (ReturnsExpFunc fn arg)))
   = case resolveToExp fn arg of
        IsBool b -> Right (b undefined) -- here you would actually provide an argument
        ReturnsExpFunc _ -> Left Can'tResolveToBool

型

作为一般的答案，可以在一些函数上进行模式匹配，像(Tag ->)这样的可表示函子同构于Vector 3：

type Tag :: Type
data Tag = FirstNameTag | LastNameTag | AddressTag

type Person :: Type
type Person = Tag -> String

personToTuple :: Person -> (String, String, String)
personToTuple person = (person FirstNameTag, person LastNameTag, person AddressTag)

pattern FirstName :: String -> Person
pattern FirstName firstName <- (personToTuple -> (firstName, _, _))

pattern LastName :: String -> Person
pattern LastName lastName <- (personToTuple -> (_, lastName, _))

pattern Address :: String -> Person
pattern Address address <- (personToTuple -> (_, _, address))

字符串