diff options
Diffstat (limited to 'examples')
-rw-r--r-- | examples/test-kinds.hs | 17 |
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)) |