import Data.Monoid
import Control.Monad (guard)
import Test.QuickCheck (quickCheck)