First-Class Type Classes
scientific article