module Main (main) where

main :: IO ()
main = putStrLn "Test suite not yet implemented."

-- all laws, including some version of alternative