Generic Programming with Adjunctions 0.0 Generic Programming with Adjunctions Ralf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England ralf.hinze@comlab.ox.ac.uk http://www.comlab.ox.ac.uk/ralf.hinze/ March 2010 University of Oxford — Ralf Hinze 1-172 Generic Programming with Adjunctions 1.0 Part 1 Prologue University of Oxford — Ralf Hinze 2-172