Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures - Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring ((Lecture Notes in Computer Science))