> I feel like I've progressed in my understanding of those concepts by reading the post You might have progressed but I would guess that you actually haven't,

> I feel like I've progressed in my understanding of those concepts by reading the post You might have progressed but I would guess that you actually haven't, because it was a very poor explanation. How is IO a container? How is State a container? Sure, you can stretch the definition so that container means "Functor" but then you've made a circular definition. Containers are examples of functors. They do not exhaust all possible functors. EDIT: What yummyfajitas said: https://news.ycombinator.com/item?id=11553828 https://news.ycombinator.com/item?id=11553828