{"slug": "monad", "title": "Monad", "summary": "The article defines a monad as a concept in programming, specifically in Haskell, where one can convert a nested structure of type M (M a) into M a, but cannot directly convert M a into a. This highlights the key property of monads: they allow for sequential composition of computations while preserving a computational context.", "body_md": "title: A monad layout: microblog category: microblog tags: programming haskell — A monad is when you know how to convert $M (M a)$ to $M a$, but not $M a$ to $a$.\ntitle: A monad layout: microblog category: microblog tags: programming haskell — A monad is when you know how to convert $M (M a)$ to $M a$, but not $M a$ to $a$.", "url": "https://wpnews.pro/news/monad", "canonical_source": "http://abuseofnotation.github.io/monad/", "published_at": "2025-05-27 00:00:00+00:00", "updated_at": "2026-05-22 11:41:58.437818+00:00", "lang": "en", "topics": ["research"], "entities": [], "alternates": {"html": "https://wpnews.pro/news/monad", "markdown": "https://wpnews.pro/news/monad.md", "text": "https://wpnews.pro/news/monad.txt", "jsonld": "https://wpnews.pro/news/monad.jsonld"}}