Question: I’ve seen the term Free Monad pop up every now and then for some time, but everyone just seems to use/discuss them without giving an explanation of what they are. So: what are free monads? (I’d say I’m familiar ...

Question: Who first said the following? A monad is just a monoid in the category of endofunctors, what’s the problem? And on a less important note, is this true and if so could you give an explanation (hopefully one that ...

Question: On page 12 of One Monad to Prove Them All, it is written that “a prominent example [of container] is the list data type. A list can be represented by the length of the list and a function mapping ...