Inferring type isomorphisms generically (2004)

by Frank Atanassow, Johan Jeuring