Type Classes with Existential Types

Publication
J. Funct. Program.