Why wouldn't it be 3^n? Edit: wait, it's because bitstring -> strategy is a function, right?