aboutsummaryrefslogtreecommitdiff
path: root/examples/test-kinds.hs
diff options
context:
space:
mode:
Diffstat (limited to 'examples/test-kinds.hs')
-rw-r--r--examples/test-kinds.hs17
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))