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.
@Asad Saeeduddin this seems to overlap with your code a lot
Yeah, it does seem related. The
Monoidalclass 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.URL in topic broken
Adding link here, because it seems like editing topic didn't get past limit either:
http://jackkelly.name/blog/archives/2020/08/19/abstracting_over_applicative_alternative_divisible_and_decidable/index.html