From 99b3142a496512789b209f717ba1d00603672965 Mon Sep 17 00:00:00 2001
From: jim <jim@web>
Date: Thu, 19 Mar 2015 18:37:57 -0400
Subject: [PATCH] fix type

---
 topics/week7_introducing_monads.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 81ccafb2..b3ab5aa9 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -111,7 +111,7 @@ Here are the types of our crucial functions, together with our pronunciation, an
 
 <code>&gt;&gt;= or mbind : (<u>Q</u>) -> (Q -> <u>R</u>) -> (<u>R</u>)</code>
 
-<code>=&lt;&lt; (flip mbind, should we call it mdnib?) (<u>Q</u>) -> (Q -> <u>R</u>) -> (<u>R</u>)</code>
+<code>=&lt;&lt; (flip mbind, should we call it mdnib?) (Q -> <u>R</u>) -> (<u>Q</u>) -> (<u>R</u>)</code>
 
 <code>join: <span class="box2">P</span> -> <u>P</u></code> 
 
-- 
2.11.0