1 2 3
Constructor X is not defined at testdata/language-features/pattern/pattern02.reject.lc:4:3: f X = 3 ^