spec :: Spec
spec = do
    describe "CNFSentence" $ do
        batch "is a Monoid" $ monoid (undefined :: CNFSentence)
    describe "Disjunction" $ do
        batch "is a Monoid" $ monoid (undefined :: Disjunction)
spec :: Spec
spec = do
    describe "CNFSentence" $ do
        batch "is a Monoid" $ monoid (undefined :: CNFSentence)
    describe "Disjunction" $ do
        batch "is a Monoid" $ monoid (undefined :: Disjunction)
spec = do
    describe "CNFSentence" $ do
        batch "is a Monoid" $ monoid (undefined :: CNFSentence)
    describe "Disjunction" $ do
        batch "is a Monoid" $ monoid (undefined :: Disjunction)