let
is_empty t = 0 = length t