We could move SketchMap into a algebird-approx? I feel like we should use Bijections where Bijections can apply but understand the desire to keep things as pure as possible in core