"Generic programming: advanced lectures" - читать интересную книгу автора (Roland Backhouse, Jeremy Gibbons)