[<<][meta][>>][..]
To summarize: - monads are for memoization - arrows are for propagating state (sort of generalized "growing type" arrows)
[Reply][About]