let
size u =
List
.length u