An aside, are we not worried about polluting stdlib here?