A while ago, I achieved some Zen around the Monad type in Haskell; I could loosely describe it as "a value, with some extra class-specific goop that gets passed around", and I could write a state-tracking monad and a list-reading monad from scratch. So far, so good.