Notes on Modular Type Classes