コメントを受けて自己回答してみます。

    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) -- 該当箇所
    babar = bar Empty -- Node Empty Empty

つまり部分適用されている。