monad example walk the line