4 ms·
> the monad is only kinda building a graph to be evaluated That's what the free monad does. Not every monad is a free monad, IO certainly isn't.
by 08-15 6y ago
> the monad is only kinda building a graph to be evaluated
That's what the free monad does. Not every monad is a free monad, IO certainly isn't.
- edflsafoiewq 6y agoWhy isn't IO free?
- 08-15 6y agoCome think about it, it could be. That's not how it's implemented in any Haskell implementation I know of.