Like above, this is an unsafe api because you can create two `FullIndex` values and then call `take` on both of them.