-- Documentation and Sanity Checking
sanityCheck :: Test
sanityCheck = testProperty "Sanity Check" (\ a -> (*2) a == ((*2) a :: Int))
sanityCheck :: Test
sanityCheck = testProperty "Sanity Check" (\ a -> (*2) a == ((*2) a :: Int))
sanityCheck = testProperty "Sanity Check" (\ a -> (*2) a == ((*2) a :: Int))