爲什麼此代碼無法正常工作？ （結合兩種測試功能）

Question

module Data where 

data Cons a = Con (a -> Bool) 
    deriving (Show)   

twoCons :: Cons a -> Cons a -> Cons a 
twoCons (Con a) (Con b) = Con (twoCons' a b) 

twoCons' :: (a -> Bool) -> (a -> Bool) -> (a -> Bool) 
twoCons' c1 c2 x = (c1 x) && (c2 x) 

此代碼不起作用，有或沒有deriving (Show)。

它應該結合兩個測試/約束並返回由第三個Con包裝的函數。 約束可能是(>1)和(<10)，結果應該是兩個約束的組合，約束的類型可以是任何東西。

Answer 1

的問題是，沒有合理的方式來寫的Show一個實例Cons（自己試試吧！）

如果刪除deriving (Show)條款代碼完美。