1 files changed, 5 insertions, 0 deletions
diff --git a/monad/h2.hs b/monad/h2.hs
new file mode 100644
index 0000000..fce9d81
--- /dev/null
+++ b/monad/h2.hs
@@ -0,0 +1,5 @@
+instance Monad ((->) e) where
+    return f = \_ -> f
+    (>>=) f1 f2 = \r -> f2 (f1 r) r
+    -- f1 :: m a
+    -- f2 :: a -> m b