Can you explain for those of us less familiar with Haskell (and monads in general)?