1 files changed, 35 insertions, 0 deletions
diff --git a/Haskell-book/21/instances/test/Spec.hs b/Haskell-book/21/instances/test/Spec.hs
new file mode 100644
index 0000000..934b120
--- /dev/null
+++ b/Haskell-book/21/instances/test/Spec.hs
@@ -0,0 +1,35 @@
+import Lib
+import Data.Monoid
+import Test.QuickCheck
+import Test.QuickCheck.Checkers
+import Test.QuickCheck.Classes
+import SkiFree
+import Tree
+
+main :: IO ()
+main = do
+    sample' (arbitrary :: Gen (S [] Int))
+
+    quickBatch $ traversable $ (Identity (['a'], ['b'], ['c']))
+
+    quickBatch $ applicative $ (undefined :: Constant (String, String, String) (String, String, String))
+    quickBatch $ traversable $ (undefined :: Constant (String, String, String) (String, String, String))
+
+    quickBatch $ traversable $ (undefined :: Optional (String, String, String))
+
+    quickBatch $ traversable $ (undefined :: List (String, String, String))
+
+    quickBatch $ traversable $ (undefined :: Three (String, String, String)
+                                                   (String, String, String)
+                                                   (String, String, String))
+    quickBatch $ traversable $ (undefined :: Pair (String, String, String)
+                                                  (String, String, String))
+    quickBatch $ traversable $ (undefined :: Big (String, String, String)
+                                                 (String, String, String))
+    quickBatch $ traversable $ (undefined :: Bigger (String, String, String)
+                                                    (String, String, String))
+
+    quickBatch $ functor $ S [("a", "q", "y")] ("a", "b", "c")
+    quickBatch $ traversable $ S [("a", "q", "y")] ("a", "b", "c")
+
+    quickBatch $ traversable $ Leaf ("a", "q", "y")