Compile-time analysis of data list-format list correspondences | lit.salon