I don&#x27;t think we&#x27;re disagreeing at all in principle. I&#x27;m mostly trying to point out that your change is a group whether you think about it or not (actually, several). Then, let the best representation win.<p>Monads aren&#x27;t a representation, they&#x27;re a functionality.