From b0f9d7289ac23fc87d2e7741c3faf27eb1d22ce7 Mon Sep 17 00:00:00 2001
From: Chris <chris.barker@nyu.edu>
Date: Fri, 20 Mar 2015 11:53:20 -0400
Subject: [PATCH 1/1] edits

---
 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 60a36aad..4b6ed355 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -93,7 +93,7 @@ side as
 If it's clear that we're uniformly talking about the same box type (in
 this example, `α list`), we can equivalently write
 
-<code><u>int</u> -> <u><u>int</u></u></code>
+<code><u>int</u> -> <span class="box2">int</span></code>
 
 Here are some examples of values of these Kleisli arrow types, where the box type is `α list`, and the Kleisli arrow types are <code>int -> <u>int</u></code> (that is, `int -> int list`) or <code>int -> <u>bool</u></code>:
 
-- 
2.11.0