@article{Hin06Gen, title = "Generics for the masses", author = "Hinze, Ralf", year = "2006", journal = "J.~Functional Programming", month = "July \& September", number = "4 \& 5", pages = "451--483", volume = "16", doi = "10.1017/S0956796806006022", }