Title: Compile-time analysis of data list-format list correspondences