let
take t n = fst (split_n t n)