Предполагаю, что дело таки в последующем знании.
Имхо, проще всего для начинающего посмотреть, как устроены простые монады.
Например, как работать с Maybe-монадой.
Уже неплохо. Порой, очень удобно (хотя и удобно в виде трансформера, но для начала, хоть просто Maybe-монада).