From 6588473adf96a3eb7cfac55820ec022d4533fcbf Mon Sep 17 00:00:00 2001
From: Joe Zhao <ztuowen@gmail.com>
Date: Mon, 24 Aug 2015 15:45:45 -0600
Subject: Foldables

---
 monadTrans/h2.hs | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 monadTrans/h2.hs

(limited to 'monadTrans/h2.hs')

diff --git a/monadTrans/h2.hs b/monadTrans/h2.hs
new file mode 100644
index 0000000..b74c1e1
--- /dev/null
+++ b/monadTrans/h2.hs
@@ -0,0 +1,4 @@
+-- Implement join :: M (N (M (N a))) -> M (N a), given distrib :: N (M a) -> M (N a) and assuming M and N are instances
+-- of Monad. 
+
+join a = fmap join (join $ fmap distrib a)
-- 
cgit v1.2.3-70-g09d2