From 05e2be56f9d3216fb8bcc74a9ba72d8b50ef611c Mon Sep 17 00:00:00 2001
From: jim <jim@web>
Date: Sat, 21 Mar 2015 10:07:48 -0400
Subject: [PATCH] replace deleted line

---
 exercises/assignment5_answers.mdwn | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/exercises/assignment5_answers.mdwn b/exercises/assignment5_answers.mdwn
index a1dfae79..7ef5a0bc 100644
--- a/exercises/assignment5_answers.mdwn
+++ b/exercises/assignment5_answers.mdwn
@@ -537,7 +537,9 @@ any type `α`, as long as your function is of type `α -> α` and you have a bas
         -- Or this:
         let sysf_true = (\y n -> y) :: Sysf_bool a
 
-            :set -XExplicitForAll
+    Note that in both OCaml and Haskell code, the generalization `∀α` on the free type variable `α` is implicit. If you really want to, you can supply it explicitly in Haskell by saying:
+
+        :set -XExplicitForAll
         let { sysf_true :: forall a. Sysf_bool a; ... }
         -- or
         let { sysf_true :: forall a. a -> a -> a; ... }
-- 
2.11.0