main :: IO ()
main = do
  quickBatch (monoid Twoo)
  quickBatch (applicative (undefined :: [(String, String, Int)]))
  quickBatch (monoid (ZipList [Sum 1 :: Sum Int]))
  quickBatch (monoid (Cons 'a' Nil))
  quickBatch (applicative (undefined :: [(List Int, List Int, Int)]))
main :: IO ()
main = do
  quickBatch (monoid Twoo)
  quickBatch (applicative (undefined :: [(String, String, Int)]))
  quickBatch (monoid (ZipList [Sum 1 :: Sum Int]))
  quickBatch (monoid (Cons 'a' Nil))
  quickBatch (applicative (undefined :: [(List Int, List Int, Int)]))
main = do
  quickBatch (monoid Twoo)
  quickBatch (applicative (undefined :: [(String, String, Int)]))
  quickBatch (monoid (ZipList [Sum 1 :: Sum Int]))
  quickBatch (monoid (Cons 'a' Nil))
  quickBatch (applicative (undefined :: [(List Int, List Int, Int)]))