我正在尝试建立一个数据结构，它是 lambda 演算的扩展，以允许加法和减法。我正在尝试创建一个称为 AE 的结构，它可以将 Lit 作为其本身，也可以计算加法和减法。我收到的错误说明如下：
无效的类型签名：Lit :: ...
应该是变量 :: 类型
点亮 :: Int -> AE
我对这个数据结构的声明有什么问题？
{-# Language GADTs #-}
data AE where
Lit :: Int -> AE
Add :: Int -> Int -> AE
Sub :: Int -> Int -> AE
deriving (Show)
eval :: AE -> Maybe Int
eval (Lit n) = Just n
eval (Add n1 n2) = n1 + n2
eval (Sub n1 n2) = do
if(n1<n2) then return nothing
else return n1 …