@techreport{jpm:gpidtr:11,
  author = {Magalh\~aes, Jos\'e Pedro and Jeuring, Johan},
  title = {Generic Programming for Indexed Datatypes},
  institution = {Department of Information and Computing Sciences, Utrecht University},
  number = {UU-CS-2011-021},
  pubcat = {techreport},
  year = {2011},
}