fix introduction

shimib · shimib · commit f257d93b94bd · 2017-03-08T09:29:27.000+02:00
diff --git a/sips/pending/_posts/2017-02-22-comonadic-comprehensions.md b/sips/pending/_posts/2017-02-22-comonadic-comprehensions.md
@@ -20,6 +20,8 @@ the <b>for comprehension</b>.
 Following is a proposal for a concise syntax for working with Comonads(map, extract & coflatMap):
 the <b>cofor comprehension</b>.
 
+The proposal has an existing implementation in <a href="https://github.com/scala/scala/pull/5725">PR 5725</a>
+
 ## Motivating Examples
 
 ### Examples
@@ -216,4 +218,4 @@ don't feel at ease with).</li>
 
 [1]: https://www.cl.cam.ac.uk/~dao29/publ/codo-notation-orchard-ifl12.pdf "codo-notation"
 [2]: https://github.com/scala/scala/pull/5725
-[3]: https://github.com/shimib/scala/blob/5e257cd4b371769deafba2be1ae3932d772ca67d/test/files/neg/cofor.scala
+[3]: https://github.com/shimib/scala/blob/5e257cd4b371769deafba2be1ae3932d772ca67d/test/files/neg/cofor.scala
