コメントを受けて自己回答してみます。
z = Node(Empty, Empty) -- NG
がNGなのはコメントの通り
(Empty, Empty)
の部分がタプルとみなされてNG。正しくはコメントの通り、
Node Empty Empty
さて
x = Node(Empty) -- OK
がOKな理由は下記のコードで試せる。
data Tree = Empty
| Leaf Int
| Node Tree Tree deriving Show
hoge = Node Empty Empty -- Node Empty Empty
bar = Node(Empty) -- 該当箇所
barbar = bar Empty -- Node Empty Empty
main = print $ barbar
つまり部分適用されている。 Node(Empty)
はNode Empty
と同じ意味と考えられる。