Constructors that require arguments shouldn't be in patterns without arguments

[Negabinary]

This example should ideally have a static error on the X because it doesn't have an argument.

type T = +X(Int) in
let X = fun x -> X(x) in
?

@disconcision I wonder if you have any ideas how to do this?