6:30 - The arrival of participants, networking, pizza
7:00 - Ometita Radu - Cofree Comonads
8:30 - Networking & drinks
This is a fairly practical discussion around the ways we are using Cofree Comonads at work.
I will spend quite a bit of time on building the theoretical intuition, going through algebras, monads, free monads, coalgebras, comonads and finally the cofree comonads from the point of view of a programmer.
The point of this meetup is to give people the skills required to spot cofree comonads (and other such weird beasts) in the wild.