小编eag*_*ute的帖子

我是Haskell的新手.对不起,如果这个问题有明显的答案.

我有

data Tmp = Foo Int
         | Bar Int
         | Baz Int

和

data Test = A Tmp Tmp

构造函数A Tmp Tmp可以使用任何构造函数,Tmp除了 A (Baz i) (Baz j)where i和j是任意Ints.有没有什么办法可以限制第二Tmp中A Tmp Tmp被Baz当第一Tmp已经是Baz？