- Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.


@Asad Saeeduddin this seems to overlap with your code a lot

Asad Saeeduddin

Yeah, it does seem related. The Monoidal class in that blog post is a bit of a special case though, because it implicitly uses the (,) monoidal structure on the codomain category. There's lots of useful abstractions that get left on the table if you do that.