Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures - Backhouse, Roland; Gibbons, Jeremy; Hinze, Ralf; Jeuring, Johan (Springer Berlin Heidelberg, 2007)