– The idea of a category as an “extended” function, and that category theory gives us techniques of bringing composability to these extended functions.

– I was somewhat confused by the definition of Haskell Monad instances like Reader and State because they consisted of functions. Your description of how these can just be seen adding an additional parameter to the original function makes their implementation totally clear.

Thank you!

]]>Does that make sense to you?

]]>Thanks also for the subsequent efforts you’ve make to keep conventional Haskell available as an option – seems like the best of both worlds.

]]>