IMO this is a fairly deep correspondence. Git and monads both side in the rare octant of "simple, hard, relevant to nearly every programmer's work even if they'

IMO this is a fairly deep correspondence. Git and monads both side in the rare octant of "simple, hard, relevant to nearly every programmer's work even if they're not very aware of it". Most quotidian things are simple and easy, or complex and easy, or complex and hard. Most simple and hard things are at the foundations of fairly deep knowledge/skill stacks and obscured from most developers.