From c7619a27f841d24b5acb4c99ed486e95bd5130d8 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sun, 19 Jan 2025 22:46:39 +0100 Subject: Noodling on the type checker --- examples/test-kinds.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'examples/test-kinds.hs') 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 -- cgit v1.2.3-70-g09d2