Type Classes with Existential Types

Type
Publication
J. Funct. Program.