module Test where import Test.QuickCheck (TestGroup(..), runTest) import Test.Data.Bool as List import Prelude main :: IO () main = runTest (TxG "All Tests" [ List.test ])