Extensible and Modular Generics for the Masses - Oliveira, B; Hinze, R; Loeh, A (TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7, 2007)