New blog post!
https://marcosh.github.io/post/2026/05/08/categorical-transformers.html
where I start to explore what #haskell could be if we wanted to use #categories instead of #monads
New blog post!
https://marcosh.github.io/post/2026/05/08/categorical-transformers.html
where I start to explore what #haskell could be if we wanted to use #categories instead of #monads

First compiling example of my new `category-transformers` toy project
I'm basically rebuilding monad transformers, but in a complete categorical style (no monads, just categories all the way)
Sorry, no documentation for now... a blog post is on its way
@vmbrasseur #3 is the only correct answer, because it isn't a monad unless the unit function (η : a → B a) is fully polymorphic.
cc @byorgey let me know if I should stoo copying you on these

