Introduct PoolSizeRange, start trying out FunSpec