The issue here is that too many beginning functional programmers insist on trying to "understand" monads before using them (and get stuck).

They don't teach you number theory before arithmetic in primary school. Similarly, you don't need to understand monads before you use IO.