import Test.QuickSpec

type I = Int

main =
  quickSpec
    [ ["x", "y", "z"] `vars` (undefined :: I)
    , "0" `fun0` (0   :: I)
    , "1" `fun0` (1   :: I)
    , "+" `fun2` ((+) :: I -> I -> I)
    , "*" `fun2` ((*) :: I -> I -> I)
    , withSize  7
    , withDepth 4
    , withTests 500
    ]