コメントを受けて自己回答してみます。 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 いまいち`()`つけるタイミングと箇所がわからない。