let size u = List.length u