Understand F-Algebra's

[wires]

We should have some resources on F-algebras.

We have

• lecture by Neil @ 1st stbx summit
• Category Theory 5.2: Algebraic data types
• Category Theory II 8.1: F-Algebras, Lambek's lemma
• F-algebras or: How I Learned to Stop Worrying and Love the Type System