A random Redditor: "Object oriented programming is just another name for comonadic style programming". Is it true? What does it mean?