Haskell の quickCheck の簡単な例を作った。 式 データ型 Obj は、Nil 、数、シンボル、コンスセルの何れかであり、コンスセルはデータ型 Obj 二つからなる。 module ConsCell where import Test.QuickCheck import Control.Monad data Obj = Nil | N Int |…