Implemented Option.sequence