Toot

Written by Zanzi @ Monoidal Cafe on 2025-01-26 at 14:57

@zyang Ah, yeah. I have wondered if there's a version of "free module over a free monad" that would do the trick. I suspect that FreeT or some variation of it could work, something capturing a similar idea as Kmett's bound:

https://hackage.haskell.org/package/bound-2.0.7/docs/Bound-Class.html

=> More informations about this toot | View the thread | More toots from zanzi@mathstodon.xyz

Mentions

=> View zyang@mathstodon.xyz profile

Tags