Noodling on the type checker

2 files changed, 12 insertions, 0 deletions

diff --git a/examples/tc.hs b/examples/tc.hs
new file mode 100644
index 0000000..c27c736
--- /dev/null
+++ b/examples/tc.hs
@@ -0,0 +1,10 @@
+data Bool = False | True
+data List a = Nil | Cons a (List a)
+
+isNil :: List a -> Bool
+isNil Nil = True
+isNil (Cons _ _) = False
+
+map :: (a -> b) -> List a -> List b
+map _ Nil = Nil
+map f (Cons x l) = Cons (f x) (map f l)
diff --git a/examples/test-kinds.hs b/examples/test-kinds.hs
index 1e2c18c..ddd4817 100644
--- a/examples/test-kinds.hs
+++ b/examples/test-kinds.hs
@@ -8,6 +8,8 @@ data Either a b = Left a | Right b
 
 data ExceptT e m a = ExceptT (Either e (m a))
 
+data ExceptT2 e m a = ExceptT2 (m (Either e a))
+
 data TreeF a r
   = NodeF r a r
   | LeafF