Typecheck work; solver is incorrect

1 files changed, 17 insertions, 0 deletions

diff --git a/examples/test-kinds.hs b/examples/test-kinds.hs
new file mode 100644
index 0000000..1e2c18c
--- /dev/null
+++ b/examples/test-kinds.hs
@@ -0,0 +1,17 @@
+data Tree a
+  = Node (Tree a) a (Tree a)
+  | Leaf
+
+data A f = A1 (f ()) | A2 (f (Tree ()))
+
+data Either a b = Left a | Right b
+
+data ExceptT e m a = ExceptT (Either e (m a))
+
+data TreeF a r
+  = NodeF r a r
+  | LeafF
+
+data Fix f = In (f (Fix f))
+
+data Tree' a = Tree' (Fix (TreeF a))