Zaslat SMS: Generic Generic Programming