Finish Optional<> codec