A Burrito Is a Monad

People who already know what a monad is probably think this is a great example. I still have no clue.

My Haskell is rusty—what does this line do?<p><pre><code> type Burrito = Meat option * Ingredient list </code></pre> Does `*` create a tuple type?<p>Do lowercase `option` and `list` somehow specify `Option` and `List` types?

<a href="https:&#x2F;&#x2F;blog.plover.com&#x2F;prog&#x2F;burritos.html" rel="nofollow">https:&#x2F;&#x2F;blog.plover.com&#x2F;prog&#x2F;burritos.html</a><p>(Same concept, from 2009)

It&#x27;s in jest, but I find a simple example like this to be very helpful.<p>Would have gone a long way to me understanding Monads, rather than some esoteric mathematical symbols.

This is literally, not figuratively, true.<p>There&#x27;s a lot of monads in our lives: puzzels, baking, stories, symphonies, paintings, and projects.

No one who cooks, cooks like this. So, no, a burrito is not a monad, unless you are performing Catholic Mass and the burrito is sth sth, in which case you have more words to write and I while I believe you can write those words, the words are not interesting. That it why I am saying your analogy is not interesting, and I think you were just attracted to burritos because they can hold.. anything? Even though that&#x27;s not the path you went down?

Relegating &quot;tortilla&quot; to one word with no options is a travesty it&#x27;s the most important part of my California Burritos from Juanitas.

&gt; You see, in addition to space burritos (if you&#x27;ve heard the rumors), monads are like onions. Allow me to demonstrate with a common situation.<p>Another mention of monads and burritos.<p>[0]: <a href="https:&#x2F;&#x2F;mostly-adequate.gitbook.io&#x2F;mostly-adequate-guide&#x2F;ch09#mixing-metaphors" rel="nofollow">https:&#x2F;&#x2F;mostly-adequate.gitbook.io&#x2F;mostly-adequate-guide&#x2F;ch0...</a>

The thing that has stuck with me about monads is that operations which you can chain like<p>&#x2F;&#x2F; Python<p>new_foo = foo.bar().baz()<p>Work as &#x2F; can be defined as monads, if you get a Foo out of each of them. This at least gives me something practical to hang the concept on.

Previously: <a href="https:&#x2F;&#x2F;blog.plover.com&#x2F;prog&#x2F;burritos.html" rel="nofollow">https:&#x2F;&#x2F;blog.plover.com&#x2F;prog&#x2F;burritos.html</a>

I assume that<p><pre><code> let tortilla = returnBurrito (Some Veggie, []) </code></pre> is a typo and it should be<p><pre><code> return Burrito </code></pre> ?<p>Also somewhat familiar with FP but not this specific language (guessing Haskell?), is the `&gt;==` operator essentially a &quot;pipe&quot; operator?

Please do see yourself out mr, I can&#x27;t have multiple meats

Ok Haskell programmers, I love you guys but this has now gone too far and I am officially intervening. The rest of the programming community and I are all super worried about what all this Haskell is doing for your health. Please stop before it&#x27;s too late! Perhaps even touch grass, as drastic as I know that sounds.

Not this shit again. How much can be said about a trivial algebraic concept with 2 laws and 3 operations?

Monad is mad