コメントを受けて自己回答してみます。 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 つまり部分適用されている。