I don't understand them. None of the introductory materials I've read on them ever made any sense to me. I kinda sorta understand "state" and "maybe" but the general idea that links these two things together and (I am given to understand) leads to other cool stuff just eludes me.