let take t n = fst (split_n t n)