[project @ 1998-12-02 13:17:09 by simonm]

[ghc-hetmet.git] / ghc / interpreter / test / typechecker / t007.hs

diff --git a/ghc/interpreter/test/typechecker/t007.hs b/ghc/interpreter/test/typechecker/t007.hs
new file mode 100644 (file)
index 0000000..f55c69c
--- /dev/null
+++ b/ghc/interpreter/test/typechecker/t007.hs
@@ -0,0 +1,9 @@
+--!!! Another example from the 1.3c documentation
+
+data Monad2 m = MkMonad2 (forall a. a -> m a)
+                         (forall a, b. m a -> (a -> m b) -> m b)
+
+halfListMonad  :: (forall a,b. [a] -> (a -> [b]) -> [b]) -> Monad2 []
+halfListMonad b = MkMonad2 (\x -> [x]) b
+
+