let
length t =
List
.length t.data