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

    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`と同じ意味と考えられる。


    y = Node(Node(Empty), Node(Empty)) -- NG

の箇所を無理に正しく書こうとすると下記の感じだろうか?(そもそも`()`の中に`,`がある時点でタプルと解釈されると考えてしまってよさそうなので、タブルを受け取らないコンストラクタ付近に`(,)`を書いてるとおかしいと気づけそう)

**Foo.hs**

    data Tree = Empty
              | Leaf Int
              | Node Tree Tree deriving Show
             
    y = Node (Node Empty Empty) (Node Empty Empty)
    
    main = print $ y

実行:

    % docker run -it --rm --name bar-haskell -v "$PWD":/tmp -w /tmp haskell:8 runghc Foo.hs

出力結果:

    Node (Node Empty Empty) (Node Empty Empty)


下記のようにすると部分適用(?)したNodeを2つ持てるのかと思ったがエラーになってしまった...

    data Tree = Empty
              | Leaf Int
              | Node Tree Tree deriving Show
             
    y = Node (Node Empty) (Node Empty)
    
    main = print $ y

いまいち`()`つけるタイミングと箇所がわからない。