let
length t = t.len