Datatype-Generic Programming - nidottu, Englanti, 2007