Add tests for sequence monad