lists are length annotated