Conversation

When learning higher-order concepts like monad/arrow, how much of the learning complexity is essential vs incidental?

A sequence of descriptions of operations to be performed is a totally reasonable output.