When learning higher-order concepts like monad/arrow, how much of the learning complexity is essential vs incidental?
Conversation
? That's a totally reasonable semantic for some computations. Languages like Haskell only reject that it's *always* the right one.