From ae6a8851f131d90d2d3585cd3b2a5aeb47eaa443 Mon Sep 17 00:00:00 2001
From: Julien Cretel <j.cretel@umail.ucc.ie>
Date: Sat, 6 Jun 2015 12:55:41 +0200
Subject: [PATCH] Correct insert's type signature

---
 zurihac-2015/slides.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zurihac-2015/slides.md b/zurihac-2015/slides.md
index 89a07af..7cb6a80 100644
--- a/zurihac-2015/slides.md
+++ b/zurihac-2015/slides.md
@@ -387,7 +387,7 @@ Functions that would otherwise be strict might be made lazy by the
 data Tree = Leaf
           | Bin Key !Value !Tree !Tree
 
-insert :: Key -> Value -> Tree
+insert :: Key -> Value -> Tree -> Tree
 insert k v Leaf = Bin k v Leaf Leaf  -- lazy in @k@
 insert k v (Bin k' v' l r)
    | k < k'    = ...