@Andrev @ncf @julesh @sjoerd_visscher cool! I wonder if that's related to the fact that it's a free monad, then
=> More informations about this toot | View the thread | More toots from zanzi@mathstodon.xyz
=> View Andrev@types.pl profile | View ncf@types.pl profile | View julesh@mathstodon.xyz profile | View sjoerd_visscher@types.pl profile
text/gemini
This content has been proxied by September (3851b).