From a6ca688c2874422078f9a24b9884a704a70c0e4e Mon Sep 17 00:00:00 2001
From: Dan Aloni <alonid@gmail.com>
Date: Tue, 21 Jun 2016 15:49:25 +0300
Subject: [PATCH] 007_path.d: ':core id' returns the value, not the type

---
 007_path.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/007_path.md b/007_path.md
index 4783ef2..876309e 100644
--- a/007_path.md
+++ b/007_path.md
@@ -311,7 +311,7 @@ plus :: forall a. Num a => a -> a -> a
 
 > :core id
 id :: forall a. a -> a
-id = \(ds1 : a) -> a
+id = \(ds1 : a) -> ds1
 
 > :core compose
 compose :: forall c d e. (d -> e) -> (c -> d) -> c -> e