小编abh*_*hta的帖子

我正在学习哈斯克尔.当我编译代码时:

data Bintree a = Nulltree | Node (Bintree a) a (Bintree a)
Nulltree :: Bintree a

我收到以下错误:

Invalid type signature: Nulltree :: Bintree a Should be of form <variable> :: <type>

那我该怎么做呢？我试着写:

data Bintree a = Nulltree | Node (Bintree a) a (Bintree a)
Nulltree :: a -> Bintree a

但这会产生同样的错误.