Patrick Bahr. Composing and decomposing data types: a closed type families implementation of data types à la carte. In José Pedro Magalháes, Tiark Rompf, editors, Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014. pages 71-82, ACM, 2014. [doi]
Abstract is missing.