Adapt vector and shared_ptr to be simple monads.