@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", }