練習問題 3.7.1

引数が 
zero
かどうかを決定する関数 
isZero :: Cnum a -> Cbool a
の定義を書け． 





isZero :: Cnum a -> Cbool a
isZero cn x y = cn (true y) x


以下は最初に作った版．シグネチャが違う．．．orz


isZero :: Cnum (Cbool a) -> Cbool a
isZero n = n (true false) true