无法从 Haskell 中的 GADT 表达式类型创建动态

Question

我在 Haskell 中有以下内容（作为最小示例）。

{-# LANGUAGE GADTs #-}
import Data.Dynamic    

data Expr a where
  Lift  :: (Show a) => a -> Expr a --Lift some type into Expr
  Lam   :: (Expr a -> Expr b) -> Expr (a -> b)
  Const :: Expr a -> Expr b -> Expr a

当我尝试从以下创建动态时，我收到一个错误，我不确定如何更正。

--This is the code
toDyn $ (Lam (Const (Lift 1)))
-- This is the error
-- • No instance for (Typeable b0) arising from a use of ‘toDyn’
-- • In the expression: toDyn (Lam (Const (Lift 1)))
--   In an equation for ‘it’: it = toDyn (Lam (Const (Lift 1)))

有没有办法解决这个问题？其他构造函数都可以正常工作（我的实际程序有超过 100 个其他构造函数！）但是 Const 真的给我带来了麻烦！

Answer 1

错误是说Const 的第二个参数的类型，即被丢弃的那个，需要是Typeable。但它是一个完全通用的类型变量，没有 Typeable 约束。如果你写类似

toDyn (Const (Lift 1) :: Expr Int -> Expr Int)

或

toDyn (Lam (Const (Lift 1) :: Expr Int -> Expr Int))

两者都有效。