Properly handling variance for arrays to avoid invalid subtyping.

2 files changed, 28 insertions, 0 deletions

diff --git a/documentation/bookmark/composition/mixin.md b/documentation/bookmark/composition/mixin.md
new file mode 100644
index 000000000..bdcc7ae9c
--- /dev/null
+++ b/documentation/bookmark/composition/mixin.md
@@ -0,0 +1,8 @@
+# Reference
+
+1. [Prototypes: Object-Orientation, Functionally](http://fare.tunes.org/files/cs/poof.pdf)
+1. [The Different Aspects of Monads and Mixins](http://ropas.snu.ac.kr/~bruno/papers/MixinAspects.pdf)
+1. [THAT ABOUT WRAPS IT UP: Using FIX to Handle Errors Without Exceptions, and Other Programming Tricks](http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-375/ECS-LFCS-97-375.pdf)
+1. [EffectiveAdvice: Disciplined Advice with Explicit Effects](http://www.cs.utexas.edu/~wcook/Drafts/2010/EffectiveAdvice.pdf)
+1. [16. Object Reorientation: Generic Functions](http://www.gigamonkeys.com/book/object-reorientation-generic-functions.html)
+
diff --git a/documentation/bookmark/composition/recursion_schemes.md b/documentation/bookmark/composition/recursion_schemes.md
new file mode 100644
index 000000000..31a013123
--- /dev/null
+++ b/documentation/bookmark/composition/recursion_schemes.md
@@ -0,0 +1,20 @@
+# Reference
+
+0. [An Introduction to Recursion Schemes](https://blog.sumtypeofway.com/posts/introduction-to-recursion-schemes.html)
+0. [Recursion Schemes, Part II: A Mob of Morphisms](https://blog.sumtypeofway.com/posts/recursion-schemes-part-2.html)
+0. [Recursion Schemes, Part III: Folds in Context](https://blog.sumtypeofway.com/posts/recursion-schemes-part-3.html)
+0. [Recursion Schemes, Part IV: Time is of the Essence](https://blog.sumtypeofway.com/posts/recursion-schemes-part-4.html)
+0. [Recursion Schemes, Part 4½: Better Living Through Base Functors](https://blog.sumtypeofway.com/posts/recursion-schemes-part-4-point-5.html)
+0. [Recursion Schemes, Part V: Hello, Hylomorphisms](https://blog.sumtypeofway.com/posts/recursion-schemes-part-5.html)
+0. [Recursion Schemes, Part VI: Comonads, Composition, and Generality](https://blog.sumtypeofway.com/posts/recursion-schemes-part-6.html)
+0. [Probability Tree Diagrams. Recursion Schemes. Why Finding the Right Solution is Sometimes Hard?](https://rpeszek.github.io/posts/2021-07-18-prob-tree-scheme.html)
+0. [Unifying Structured Recursion Schemes](https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf)
+0. http://maartenfokkinga.github.io/utwente/mmf91m.pdf
+0. http://comonad.com/reader/2009/recursion-schemes/
+0. [Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali](https://www.youtube.com/watch?v=XZ9nPZbaYfE)
+0. https://github.com/passy/awesome-recursion-schemes
+0. [YOW! Lambda Jam 2018 - Amy Wong - Introduction to recursion scheme](https://www.youtube.com/watch?v=YnqPdlJd38o)
+0. https://bartoszmilewski.com/2018/08/20/recursion-schemes-for-higher-algebras/
+0. https://chrilves.github.io/hugo/posts/recursion_schemes_intro/
+0. [Recursion Schemes: A Field Guide (Redux)](http://comonad.com/reader/2009/recursion-schemes/)
+