import Sum
import Nope
import qualified PhhhbbtttEither as Phhhbbttt
import Identity
import List
import Test.QuickCheck.Checkers
import Test.QuickCheck.Classes

main :: IO ()
main = do
    quickBatch $ functor $ (First (1, 2, 3) :: Sum (Int, Int, Int) (Int, Int, Int))
    quickBatch $ applicative $ (First (1, 2, 3) :: Sum (Int, Int, Int) (Int, Int, Int))
    quickBatch $ monad $ (First (1, 2, 3) :: Sum (Int, Int, Int) (Int, Int, Int))

    quickBatch $ functor $ (NopeDotJpg :: Nope (Int, Int, Int))
    quickBatch $ applicative $ (NopeDotJpg :: Nope (Int, Int, Int))
    quickBatch $ monad $ (NopeDotJpg :: Nope (Int, Int, Int))

    quickBatch $ functor $ (Phhhbbttt.Left (1, 2, 3) :: Phhhbbttt.PhhhbbtttEither (Int, Int, Int) (Int, Int, Int))
    quickBatch $ applicative $ (Phhhbbttt.Left (1, 2, 3) :: Phhhbbttt.PhhhbbtttEither (Int, Int, Int) (Int, Int, Int))
    quickBatch $ monad $ (Phhhbbttt.Left (1, 2, 3) :: Phhhbbttt.PhhhbbtttEither (Int, Int, Int) (Int, Int, Int))

    quickBatch $ functor $ (Identity (1, 2, 3) :: Identity (Int, Int, Int))
    quickBatch $ applicative $ (Identity (1, 2, 3) :: Identity (Int, Int, Int))
    quickBatch $ monad $ (Identity (1, 2, 3) :: Identity (Int, Int, Int))

    quickBatch $ functor (Cons (1 :: Integer, 2 :: Integer, 3 :: Integer) Nil)
    quickBatch $ applicative (Cons (1 :: Integer, 2 :: Integer, 3 :: Integer) Nil)
    quickBatch $ monad (Cons (1 :: Integer, 2 :: Integer, 3 :: Integer) Nil)