corpus.blog
43,029 blogs · 5,458,805 posts Claim your blog
Record · corpus.blog/posts/01a08750-20b5-71fc-a72c-3e50ef4e935c

Unifying Monad: On Composability

blog.michal-atlas.cz · published 26 July 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.michal-atlas.cz Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
10
Words captured
1,342

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
Plucking Constraints Read at the source ↗
parsonsmatt.org
https://github.com/typedbyte/effet
github.com
https://en.wikipedia.org/wiki/Chain-of-responsibility_pattern
en.wikipedia.org
https://hackage.haskell.org/package/mtl-2.3.1/docs/src/Control.Monad.Reader.Class.html
hackage.haskell.org
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/quantified_constraints.html
ghc.gitlab.haskell.org
https://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf
cs.ox.ac.uk
https://blog.tmorris.net/posts/monads-do-not-compose/
blog.tmorris.net
https://haskell-explained.gitlab.io/blog/posts/2019/07/28/polysemy-is-cool-part-1/index.html
haskell-explained.gitlab.io
https://reasonablypolymorphic.com/blog/freer-higher-order-effects/
reasonablypolymorphic.com
https://reasonablypolymorphic.com/blog/tactics/
reasonablypolymorphic.com
Elsewhere on blog.michal-atlas.cz (1)