Lecture

Monads: Data Structures with Laws