Add an example for Seq monad