> ## Content Index
> Fetch the complete content index at: https://blog.matthewbrunelle.com/llms.txt
> Use this file to discover other available public pages before exploring further.

# Monads, Not a Thing I Made Up
- URL: https://blog.matthewbrunelle.com/monads-not-a-thing-i-made-up/
- Published: 2012-10-30T04:00:00.000Z
- Updated: 2025-08-12T23:47:38.000Z
- Description: "A monad is just a monoid in the category of endofunctors" they say.
- Author: Matthew Brunelle
- Tags: Paleontology, Programming Language Theory

This post is a part of my [blog paleontology series](https://blog.matthewbrunelle.com/tag/paleontology/). I dug up and restored this post on 2025-08-11\. I made corrections to a *number* of spelling mistakes.

In college I definitely tried to talk about monads with my friends far too many times. Amazing against all odds, we're still friends to this day.

---

I was reading about [Curry–Howard Correspondence](http://en.wikipedia.org/wiki/Curry%E2%80%93Howard%5Fcorrespondence?ref=blog.matthewbrunelle.com) after encountering it again in an [Article](http://pragprog.com/magazines/2012-09/thinking-functionally-with-haskell?ref=blog.matthewbrunelle.com) by Paul Callaghan (I believe I first encounter it in a talk by Simon Peyton Jones). When I reached the final paragraph of the first section I had a real a-ha moment and just had to read the paragraph a second time. The part the interested me was:

> "Because of the possibility of writing non-terminating programs, Turing-complete models of computation (such as languages with arbitrary recursive functions) must be interpreted with care, as naive application of the correspondence leads to an inconsistent logic. The best way of dealing with arbitrary computation from a logical point of view is still an actively debated research question, but one popular approach is based on using monads to segregate provably terminating from potentially non-terminating code."

Its little connection like this that help me with understanding topics such as monads.

P.S. the title comes from the fact that my friends claim the word monad is something I made up (and certainly not a real thing).

\~ Matt