module Main (main) where import Test.QuickCheck import Data.Acid