Implement the Sequence monad