"Datatype-Generic Programming school, SSDGP 2006" - читать интересную книгу автора (Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring)