let
take t ~index = fst (split_at t index)